Epoch AI launched FrontierMath Erdős, a benchmark of 68 unsolved problems selected by mathematician Thomas Bloom from his erdosproblems.com catalog, to rigorously track AI math capabilities. The bench…
On August 1, 2026, OpenAI published a 249-page manuscript detailing how an unreleased internal model, Astra, solved ten open mathematics problems, including one open since 1999, with machine-checkable…
OpenAI's Astra AI system solved ten open mathematical problems, including the first explicit construction of a non-sofic group, a problem open since 1999, for a total compute cost of approximately $2,…
In late May, an unreleased OpenAI reasoning model disproved Paul Erdős's 1946 unit distance conjecture, finding a construction that beats the square grid by a polynomial margin, with the exponent late…
OpenAI's next-generation reasoning model, internally referred to as Astra, autonomously generated 10 new results in mathematics and theoretical computer science, each verified by external mathematicia…
On May 20, 2026, OpenAI announced that an internal AI model had produced a counterexample to the unit distance problem, a conjecture posed by Paul Erdős in 1946, marking the first historically signifi…
OpenAI Group PBC announced Saturday that an internal version of its Astra model family solved 10 long-open problems in mathematics and theoretical computer science, publishing machine-checkable Lean 4…
OpenAI researcher Noam Brown announced on August 1 that an internal version of Astra, OpenAI's next major model family, solved ten open problems in mathematics and theoretical computer science, includ…
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 previewed its next major model family, tentatively called Astra, on August 1, 2026, by publishing ten machine-checkable proofs of decade-old unsolved math problems, each formalized in Lean 4, i…
AI agents Devin and GPT-5.6 Sol Ultra have reportedly solved long-standing graph theory problems, with Devin refuting Graffiti Conjecture 154 and proving Conjectures 39 and 40, and OpenAI claiming GPT…
OpenAI announced on July 10 that its GPT-5.6 Sol Ultra model generated a complete proof of the 50-year-old Cycle Double Cover Conjecture in under one hour using 64 parallel subagents. Mathematician Th…
OpenAI's GPT-5.6 Sol Ultra solved the 50-year-old Cycle Double Cover Conjecture in under an hour using 64 parallel subagents, sparking debate over whether AI can achieve genuine creativity or merely r…
OpenAI's GPT-5.6 Sol Ultra produced a proof of the 50-year-old Cycle Double Cover Conjecture in under an hour using 64 parallel subagents, though mathematician Thomas Bloom criticized the lack of cita…
OpenAI announced in May that an internal model disproved Erdős's planar unit-distance conjecture, a problem unsolved since 1946, with the result verified by nine mathematicians including Thomas Bloom.…