DeepMind’s AlphaProof system solved four out of six problems at the 2024 International Mathematical Olympiad, generating ...

Microsoft Math Solver is a free tool that uses AI to recognize both printed and handwritten math. It’s particularly strong with geometric proofs and interactive graphing, and it pulls learning ...

In the third century BCE, Apollonius of Perga asked how many circles one could draw that would touch three given circles at exactly one point each. It would take 1,800 years to prove the answer: eight ...

Introducing new math concepts via already-worked examples can give students a significant boost in learning. But choosing the right problems makes a big difference. An analysis earlier this year of ...

Katie has a PhD in maths, specializing in the intersection of dynamical systems and number theory. She reports on topics from maths and history to society and animals. Katie has a PhD in maths, ...

From writing essays to coding, there’s seemingly nothing modern AI chatbots like ChatGPT and Microsoft Copilot cannot accomplish. But even though they seem limitless on the surface, they’re certainly ...

In an age where education is increasingly intersecting with digital solutions, one AI math tool has captured the attention of students, educators, and technology enthusiasts alike: Mathful. This AI ...

For all of the recent strides we’ve made in the math world—like a supercomputer finally solving the Sum of Three Cubes problem that puzzled mathematicians for 65 years—we’re forever crunching ...