[ORGANIZATION]
Lean
Featured in 1 tracked story · first seen
Situations
AI-driven breakthroughs in mathematics
4 clusters · 32 sources · last updated
Latest: OpenAI's Astra model solves ten decades‑old math problems
Since May 2026 OpenAI’s generative‑AI system delivered a formal proof of the unit‑distance conjecture, a problem first posed in 1946. Human mathematicians built on the AI’s central technique to settle the related sum‑pro