[ORGANIZATION]
Astra
Featured in 2 tracked stories · first seen
Situations
AI-driven breakthroughs in mathematics
4 clusters · 31 sources · last updated
Latest: OpenAI's Astra Model Solves Ten Decades-Old Math Problems
Since May 2026 AI models have begun delivering formal proofs of problems that have resisted mathematicians for decades. An OpenAI system resolved the unit‑distance conjecture, prompting rapid follow‑on work that settled