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

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

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

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

In an episode of the cartoon, a machine lets characters swap bodies, but they can’t switch back with the same person. Math ...

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

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

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 is known to drop research bombs with no great announcement, and the newest one requires a closer look than just the ...

OpenAI's unreleased Astra AI has resolved 10 longstanding mathematical problems across diverse fields, achieving ...

OpenAI just used its new large language model GPT-5.6 Sol to solve a math problem that humans have struggled with for more than a half-century. And all it took was telling the artificial intelligence ...