OpenAI's Unreleased Astra Model Solves 10 Math Problems for $2,000
docdavkitty · reddit · 2026-08-03
OpenAI revealed that its unreleased model, Astra, has produced 10 new results in math and theoretical CS, solving problems that have been open for at least a decade. Most notably, it provides the first explicit construction of a non-sofic group, a problem open since 1999.
Key Highlights:
- Built-in Verification: Every result ships with a Lean 4 certificate on GitHub. Correctness is verified by a compiler rather than relying on the lab's reputation or traditional peer review.
- Low Cost: The total inference cost was roughly $2,000 at API rates.
This follows the Leiden Declaration warning about AI labs bypassing peer review, offering a new paradigm where the AI-generated artifact carries its own verification mechanism.
Related event: Unreleased OpenAI Model Astra Solves Major Math Problems(2 posts)→
More from Models
- Test Claims Qwen 3.8 Max Beats Fable 5 in 3D Physics Scenes at 1/7 Cost — eyishazyer · 2026-08-03
- Deep Dive into V4-Flash-0731: Severe Quantization Loss, Full Precision Delivers Value — EmPips · 2026-08-03
- Kimi K3 'Open Weight' Comes with Hidden Commercial Licensing Caveats — BenBajarin · 2026-08-03
- Industry Voice: Open Source Hype Overblown, Small Models Lag Behind Frontier — bindureddy · 2026-08-03
- Anthropic Engineer: Tying Models and Harnesses Together Is Key to Peak Performance — May_F1_ · 2026-08-03
- Surge AI Exec Reveals Why Benchmarks Fail: $15M Cost and Widespread Contamination — alex_verem · 2026-08-03