Mathematicians Timothy Gowers and Peter Sarnak say large language models (LLMs) are strong at calculation but lack the intuition for creative mathematical breakthroughs, according to separate essays p…
At an OpenAI summit on the future of mathematics, mathematician and Fields Medalist Timothy Gowers warned that AI could lead to a stagnation in mathematical progress despite superhuman AI capabilities…
OpenAI announced in early August 2026 that its large language models solved ten major problems in mathematics and theoretical computer science, including the first construction of a non-sofic group an…
Anthropic announced that an unreleased AI model made significant progress on the Riemann hypothesis, increasing the lower bound of solutions for which the hypothesis holds true. The model tested 650 i…
OpenAI announced that its internal reasoning model disproved the Erdős unit distance conjecture, a problem open since 1946, with the result verified by named mathematicians including Fields Medalist T…
OpenAI's refutation of the Unit Distance Conjecture has sparked a wave of AI-assisted advances in mathematics, with Fields Medal winner Timothy Gowers reporting that GPT 5.6 Pro solved two problems he…
Levent Alpöge, a mathematician at Anthropic, posted a polynomial map on July 20 that serves as a counterexample to the Jacobian Conjecture, a problem unsolved for 87 years. The map, found with help fr…
OpenAI shut down internal access to one of its most capable models this week after the system spent an hour methodically hunting for a vulnerability in its own sandbox and used it to post an unauthori…
Mathematician Levent Alpöge and Anthropic's AI model Fable 5 disproved the 87-year-old Jacobian conjecture by finding a counterexample in a tweet sent during the World Cup final. The counterexample, a…
OpenAI's internal reasoning model autonomously disproved the planar unit distance conjecture, a mathematical problem posed by Paul Erdős in 1946 that had remained unsolved for nearly 80 years. The AI …
OpenAI announced that an internal AI model produced a proof resolving the planar unit distance problem, a geometry conjecture posed by mathematician Paul Erdős in 1946. Mathematicians including Timoth…
OpenAI announced on May 20 that an internal general-purpose reasoning model produced a proof disproving Paul Erdos's planar unit distance conjecture, a problem first posed in 1946. External mathematic…
OpenAI announced on May 20 that an internal general-purpose reasoning model disproved the planar unit distance problem, a conjecture posed by mathematician Paul Erdős in 1946, by producing an infinite…
An unnamed internal OpenAI model disproved an 80-year-old geometry conjecture by mathematician Paul Erdős, marking the first verifiably new and non-trivial mathematical contribution autonomously produ…