OpenAI Astra achieved a major breakthrough by solving 10 complex theoretical math problems, utilizing sub-agents for ...

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

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

OpenAI Astra mathematics proofs: OpenAI's unreleased Astra model solved ten decade-old open problems in math and theoretical ...

OpenAI's newest model demonstrates growing potential for solving complex scientific challenges. OpenAI has announced that an ...

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

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

Shayan Oveis Gharan has won the Abacus Medal for using tools from across mathematics to boost the power of algorithms.

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