OpenAI's Astra model generated machine-checkable proofs for ten longstanding mathematical problems, including a disproof of Connes's rigidity conjecture and an improvement to the sphere-packing densit…
OpenAI announced on August 1, 2026, that an internal version of its forthcoming Astra model produced ten advances in mathematics and theoretical computer science, including results on high-dimensional…
OpenAI disclosed on August 1 that an internal version of Astra, described as its next major model, produced ten new results in mathematics and theoretical computer science, with problems that had seen…
FirstPrinciples researcher Randy Davila used the company's Theo Conjecture system and OpenAI Codex to produce a proof of a 1989 graph conjecture by Paul Erdos and William Staton, according to a July 2…
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…