
OpenAI's internal model, Astra, has reportedly solved 10 long-standing problems in mathematics and theoretical computer science. Among these are the proof of non-sofic groups and the resolution of Alain Connes’s rigidity conjecture. The solutions have been verified in Lean, with the computational cost amounting to approximately $2,000. This development highlights AI's potential to solve complex problems efficiently and economically, sparking discussions about the future role of AI in scientific discovery.
Read originalTopicOpenAI Mathematics Controversy
Earlier coverage that leads up to this article, and what followed. Lines connect each piece to the closest one after it, converging here.
OpenAI · May 20, 2026 · Same story
TechCrunch AI · May 20, 2026 · Same story
The Rundown AI · May 21, 2026 · Same story
The AI Daily Brief · May 24, 2026 · Related
OpenAI · August 1, 2026 · Related
The Verge AI · August 20, 2026 · Same story
WIRED AI · September 8, 2026 · Same story
Wes Roth · September 9, 2026 · Related
The Rundown AI · September 9, 2026 · Same story
The Verge AI · September 12, 2026 · Same story
OpenAI's Astra Solves 10 Long-Standing Math Problems
4 developments