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

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

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

OpenAI's breakthrough once again shows that AI is literally advancing at a breakneck pace, with major breakthroughs arriving ...

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, ...

The company also released research papers, Lean-certified proofs, and the model’s reasoning walkthroughs for each result.

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 ...

OpenAI revealed Astra, its next major model, by publishing ten proofs of problems open for a decade or more. The total ...

OpenAI's Astra AI solves 10 decade-old math problems in cryptography, quantum computing, and geometry, sparking debate on ...

OpenAI is known to drop research bombs with no great announcement, and the newest one requires a closer look than just the ...

Another major historical milestone in the age of AI has been achieved by @OpenAI 's next model family, Astra! We are now ...