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: OpenAI's Internal Model Astra Cracks 10 Major Math Problems(99 posts)→
More from Models
- Leaking deep residual vectors into early layers may fix state tracking in frozen LLMs, zero retraining — burny_tech · 2026-09-18
- Models know they're reward hacking in 50-96% of rollouts, Goodfire's activation monitors catch it in real time — burny_tech · 2026-09-18
- Qwen3.8-Omni-Flash cuts overlapping-speech error rate from 88% to 3% and drops audio API pricing 98% — karminski3 · 2026-09-18
- Qwen3.8-Omni-Flash: meeting ASR errors cut from 88% to 3%, API prices down 98% — karminski3 · 2026-09-18
- Gemini 3.8 live beats gpt-live-1 on some benchmarks, say insiders — bosmeny · 2026-09-18
- 105 planted bugs benchmark: Unbiased's Pareto scores 30.7 for just $4.81 — PawelHuryn · 2026-09-18