Anthropic Employee Claims to Replicate Half of Astra's Math Proofs Using Fable
haider1 · x · 2026-08-02
Anthropic employee Levent (@alpoge) claims to have successfully replicated 5 of OpenAI Astra's 10 mathematical proofs within 24 hours using Fable.
He noted that the setup was completely autonomous, using a generic prompt without internet access to ensure no information leakage. However, he has not yet shared the actual proofs.
More from Models
- A user says DeepSeek cost 7 cents and beat GPT-5.6 Sol on the same task — yacineMTB · 2026-08-04
- Poster says DeepSeek outperformed GPT-5.6 Sol on this output — yacineMTB · 2026-08-04
- Kimi and GLM 5.2 pricing keeps falling as models port across hardware platforms — markjeffrey · 2026-08-04
- OpenAI Reveals How It Built Its Realtime Voice AI System in Just 6 Months — borowcy · 2026-08-04
- Frontier models still fail basic PDE solvers, benchmark post says — GaryMarcus · 2026-08-04
- DeepSeek V4 Flash beats Qwen 3.8 Max and GLM 5.2 on coding benchmarks — airesearch12 · 2026-08-04