OpenAI vs. Anthropic Math Duel: Astra's Lead Caught in 24 Hours
新智元 · wechat · 2026-08-03
Last weekend, OpenAI and Anthropic engaged in a fierce AI duel at the frontier of mathematics.
Timeline:
- OpenAI's Move: On Aug 1, an OpenAI researcher announced that their unreleased next-gen model, Astra, successfully proved 10 long-standing open math problems, providing Lean certificates. The marginal inference cost was reportedly under $2,000.
- Anthropic's Counter: Within 24 hours, an Anthropic researcher responded that their publicly available model, Fable, independently reproduced 5 of those proofs in a clean, offline environment.
Implications:
- Shrinking Halflife: Priority in math breakthroughs used to be measured in years; now, an AI model's lead lasts mere hours.
- Cross-Verification: Two independent models arriving at the same conclusion acts as a peer-review mechanism, validating AI's mathematical reliability.
- The Verification Bottleneck: As AI rapidly generates frontier proofs, the scarce resource is shifting towards human experts capable of understanding and verifying them.
More from Models
- Gemini 4 Carbon Review: Stronger Coder Than Argon, but Fable 5.2 Raised the Bar — every · 2026-11-14
- Gemini 4 Krypton reportedly hits Opus 5.5-level performance — feblet · 2026-11-14
- Nathan Lambert: Jensen Huang's exit is a decapitation for Nvidia's open-model bet — natolambert · 2026-11-14
- Leak: Google 'krypton' model coming next week, Fable 5.2-level but cheaper — imjustnewatai · 2026-11-14
- OpenAI dissolves robotics team again as GPT-6 Astra can control robots directly — The Decoder · 2026-11-14
- Users report Sol 6.1 has become 'incredibly stupid' lately, making rookie mistakes — graham_dev · 2026-11-14