GPT Astra solves 1962 Erdős–Sós conjecture in 1 of 3 tries for $363
gleech · x · 2026-09-07
According to Epoch AI, GPT Astra solved the 1962 Erdős–Sós conjecture in 1 of 3 attempts, taking 20 hours at a cost of about $363, and produced both a proof and a Lean formalization.
As @bengolub quipped, Erdős unknowingly became an eval writer for frontier labs — decades-old open conjectures are now benchmark problems for frontier reasoning models.
Related event: GPT Astra Solves 60-Year-Old Erdős–Sós Conjecture for $363(2 posts)→
More from Models
- Running ~100 DeepSeek v4.1 flash agents in parallel for under $20/month — zack_overflow · 2026-10-23
- Researcher laments open-source audio models are surprisingly subpar, even representation ones — gowthami_s · 2026-10-23
- User claims they generated video with "Claude Opus 5.5", unannounced model name surfaces — jwt0625 · 2026-10-23
- Security researchers push back as OpenAI restricts Astra access; BlackHat 2027 mocked as 'cyber model' bazaar — cyb3rops · 2026-10-23
- Mistral Large 4 Leaked on Hugging Face: 1T Params, 49B Active, Open Weights Oct 31 — mervenoyann · 2026-10-23
- Model Weights Don't Run Code: Real Risk Lies in the Code Around Them — AIFlow_ML · 2026-10-23