OpenAI Solves 10 Major Math Problems for $2K Compute Cost Using Internal Astra
johnseach · x · 2026-08-01
OpenAI announced 10 major breakthroughs in mathematics and theoretical computer science. Using an internal version of their next-gen model (Astra), they solved long-stagnant open problems, including disproving Connes's rigidity conjecture and resolving Erdős conjectures.
The AI generated the core arguments, which humans then wrote up and formalized in Lean. The total compute cost was roughly $2,000. This marks a clear signal that frontier models are becoming genuine research collaborators in pure mathematics.
Related event: OpenAI's Next-Gen Astra Model Solves 10 Major Math Problems(45 posts)→
More from Models
- antirez Tests Domestic AI Models for Coding: DeepSeek vs GLM vs Kimi — antirez · 2026-08-01
- DeepSeek's Price-Performance Ratio Forces Inferior, Expensive Models Out of the Market — rickasaurus · 2026-08-01
- Users Complain About Gemini's Overactive Safety Filters Blocking Normal Chats — BigLead8814 · 2026-08-01
- Gemini Debunks Rumor: AI Has Not Solved the 10 Major Math Problems — Dr_Singularity · 2026-08-01
- Google's Next-Gen Astra Solves 10 Major Math Problems for $2,000 in Compute — yacineMTB · 2026-08-01
- Comparing Grok's Data Moat with Chinese AI Assistants — huangyun_122 · 2026-08-01