Google's AlphaProof is capable of solving complex mathematics but it's greatest feature may actually be finding errors.

At the 2024 International Mathematical Olympiad (IMO), one competitor did so well that it would have been awarded the Silver ...

Mathematics is the first place where evidence of AI superintelligence is likely to appear, a theoretical computer scientist says. “Will there be a superhuman AI mathematician?” asked theoretical ...

Recent advances in machine learning have opened transformative avenues for investigating complex problems in string theory and geometry. By integrating sophisticated algorithms with theoretical ...

This paper presents two studies of an intervention designed to help undergraduates comprehend mathematical proofs. The intervention used multimedia resources that presented proofs with audio ...

In work that has been 30 years in the making, mathematicians have proved a major part of a profound mathematical vision called the Langlands program. A group of nine mathematicians has proved the ...

Mathematics students frequently encounter challenges when tackling geometric concepts, especially those requiring spatial visualisation skills. The transition from basic arithmetic to geometric ...

The original version of this story appeared in Quanta Magazine. In 1917, the Japanese mathematician Sōichi Kakeya posed what at first seemed like nothing more than a fun exercise in geometry. Lay an ...

What patterns can be observed among the mathematical arguments above-average students find convincing and the strategies these students use to learn new mathematical concepts? To investigate this ...