OpenAI's AI Model Solves 10 Long-Standing Math Problems, Disproving Major Conjectures Across Multiple Fields

OpenAI's internal AI model, Astra, achieves stunning mathematical breakthroughs by solving or advancing ten long-standing open problems across fields including geometry, group theory, and quantum complexity, with landmark results including disproving Connes's rigidity conjecture and proving new bounds for Ramsey numbers.

• OpenAI's internal model, Astra, resolves or makes substantial progress on ten long-standing open problems spanning fields including high-dimensional geometry, coding theory, group theory, quantum complexity, and extremal combinatorics.
• Notable breakthroughs include disproving Connes's rigidity conjecture, establishing the existence of non-sofic groups, proving a superexponential lower bound for multicolor triangle Ramsey numbers, and advancing lattice cryptography through hardness results for the closest vector problem.
• OpenAI emphasizes responsible attribution by crediting AI for the mathematical arguments while humans prepared manuscripts and formalized proofs in Lean, and is offering 100,000 researchers free access to its best ChatGPT models to support scientific discovery.