Mathematical reasoning and proof lie at the heart of both school and university curricula, serving as the means by which learners move from concrete examples to general, abstract understanding.

DeepMind’s AlphaProof system solved four out of six problems at the 2024 International Mathematical Olympiad, generating formally verified proofs through reinforcement learning trained on millions of ...

A legendary maths riddle finally has an answer. OpenAI says one of its general-purpose AI models has autonomously solved a famous problem first posed in 1946, with external mathematicians checking the ...

A series of recent research papers have shown that ChatGPT and related large language models can produce original, verifiable mathematical proofs, including solutions to problems that had not been ...

Computers are extremely good with numbers, but they haven’t gotten many human mathematicians fired. Until recently, they could barely hold their own in high school-level math competitions. But now ...

After 80 years of fruitless struggle by human mathematicians, a major geometry conjecture has at last been solved—via a straightforward query to a chatbot. “No previous AI-generated proof has come ...

Ne'Kiya Jackson and Calcea Johnson, have achieved a remarkable feat by proving the Pythagorean theorem using trigonometry, an accomplishment long considered impossible due to circular reasoning. Two ...

OpenAI claims its new reasoning model has produced an original mathematical proof disproving a famous unsolved conjecture in geometry, which was first posed by Paul Erdős in 1946. If this sounds ...

Think about placing dots on a flat surface. You want as many pairs as possible to be separated by the same distance. For any amount of dots, what is the greatest possible number of pairs that can be ...