OpenAI model solves ten math problems, boosting geometry and coding theory
OpenAI’s internal Astra model uncovered ten breakthroughs that resolve or sharply advance long‑standing open problems in high‑dimensional geometry, coding theory, group theory, and more. The results, formalized in Lean and released with narration walkthroughs, showcase AI’s emerging capacity to contribute genuine mathematical insight.