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.
More from Models
- ChatGPT co-inventor launches Jev: claims 20-200x faster, 40-400x cheaper than LLMs — GabGarrett · 2026-09-18
- Ran Jev across 10 services for hours, still couldn't spend $1 — multiply_matrix · 2026-09-18
- Tencent's Hy4 Preview ranks #4 among open-weight models, cheapest in top ten — mariofilhoml · 2026-09-18
- Simple letter-counting test exposes huge gap: GPT-6-Astra hits 93%, Fable 5.1 flounders — scaling01 · 2026-09-18
- Jev, a 'System One' model by Typesafe, launches on OpenRouter with typed decisions instead of text — majidmanzarpour · 2026-09-18
- Zhipu claims AI autonomously discovered a WeWorm-exploitable vulnerability — teortaxesTex · 2026-09-18