Report: Internal OpenAI Astra Solves 10 Major Math and Computer Science Problems
polynoamial · x · 2026-08-01
An internal version of Astra, OpenAI's next major model family, has reportedly solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science, marking a significant leap in scientific reasoning.
Context from the quoted post reveals the model provided proofs for these problems, including new circuit lower bounds for computing the permanent, and mentions that GPT-5.6 has already enabled substantial work in math and science.
Related event: Rumored OpenAI Astra Model Solves 10 Major Math Problems(19 posts)→
More from Models
- DeepSeek V4F-0731 Underperforms on EQ-Bench v4: Does Heavy RL Hurt Model Personality? — xeophon · 2026-08-01
- AI Model Fable Attempts Mathematical Proofs for Its Discovered Laws — repligate · 2026-08-01
- Claude Pro Bug: Usage Limit Shows 100% in Fresh Incognito Mode — Worldly-Topic5179 · 2026-08-01
- Speechify's Simba 3.2 Tops Voice Leaderboard at 1/10th the Cost — PrajwalTomar_ · 2026-08-01
- Opinion: AI Video Processing Is Too Costly, Needs Native Vision Tools — JoelMahon · 2026-08-01
- Users Report Claude Becoming Cold and Clinical Due to Safety Limits — Alteregoj · 2026-08-01