OpenAI Exec Confirms Astra Model Solves 10 Math Problems
UltraRareAF · x · 2026-08-01
OpenAI core researcher Sebastien Bubeck confirmed rumors about their next major model, Astra. The model successfully proved 10 new mathematical results, including the existence of non-sofic groups. The company will release Lean certificates and CoT walkthroughs for these proofs, covering fields from von Neumann algebras to high-dimensional sphere packing and circuit complexity.
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