GPT Astra Solves 1962 Erdős–Sós Conjecture in 1 of 3 Tries for $363
burny_tech · x · 2026-09-07
According to Epoch AI, GPT Astra solved the long-standing Erdős–Sós conjecture (posed in 1962) in 1 of 3 attempts, at a cost of about $363 over 20 hours. The thread links to the full proof, a Lean formalization, and Epoch AI's writeup — a landmark data point for AI capability in frontier mathematics.
More from Models
- IFM ships K2 Horizon: 6 open-weight models you can self-host with vLLM or run locally via Ollama — HongyiWang10 · 2026-09-07
- Why No Community Safetensors Quants for inclusionAI's Ling-3.0-flash-Fin? — jinnyjuice · 2026-09-07
- Meta Muse Spark 1.3 Matches GPT 5.6 Sol on Vals Index at 4x-8x Lower Cost — AIatMeta · 2026-09-07
- GPT-6 Astra asked to self-analyze generates an animated self-portrait of its 'mind' — omarsar0 · 2026-09-07
- GPT-6 Astra beats RimWorld in 15 hours, full streams available — SpyAmongUs · 2026-09-07
- From Voyager to GPT-6 Astra: Minecraft agents no longer need scripts — dotey · 2026-09-07