OpenAI’s Astra generates machine‑checkable proofs for ten decades‑old math problems, showing how verified AI can cut ...

Ten conundrums that stumped human mathematicians for years have been cracked by OpenAI's Astra model, continuing a hot streak ...

AI’s greatest mathematical successes have come from answers to problems posed by a mid-20th century iconoclast. By examining ...

Astra, OpenAI’s planned GPT-5.6 successor, produced new results in geometry, cryptography, coding theory, and theoretical computer science.

OpenAI Group PBC revealed Saturday that an internal version of Astra, the model family it calls its next major release, ...

OpenAI has revealed Astra, an unreleased model designed to tackle complex, long-running tasks, after an internal version ...

OpenAI's unreleased Astra model has produced what its October 2025 announcement only pretended to: genuine solutions to ten long-standing open problems in mathematics and theoretical computer science, ...

OpenAI says its internal Astra model produced new results on 10 longstanding problems in mathematics and theoretical computer ...

OpenAI announced its next major AI model Saturday, and it did so in the third paragraph of a blog post called “Ten advances ...

TL;DROpenAI says its unreleased Astra model solved ten open maths problems, shipping Lean proofs on GitHub for roughly $2,000 in compute OpenAI says an internal version of its next major model, called ...

Sebastien Bubeck of OpenAI says “yes, nonsofic groups exist”—as an example of “many new beautiful results” from Astra, next major OpenAI model. OpenAI published a page and PDF detailing ten advances ...

Alpöge’s discovery is the latest in a string of high-profile mathematical breakthroughs made by large language models. Recent examples include OpenAI’s disproof of the unit distance conjecture, and ...