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.
Related event: GPT Astra Solves 60-Year-Old Erdős–Sós Conjecture for $363(2 posts)→
More from Models
- Meta researcher: horrifying infra, not talent, is why OSS can't catch closed frontier — A_K_Nain · 2026-10-23
- TypeSafe's Jev: a "Decision Model" LLM That Returns Floats at $0.042/M Input Tokens — ariG23498 · 2026-10-23
- Microsoft's MAI-Base-2 scaling ladder pegs the L42 run at ~1.8×10^23 FLOPs — teortaxesTex · 2026-10-23
- Local model agentic coding benchmark: 27B matches 125B, tool-calling is the lever — Joralk_ · 2026-10-23
- NVIDIA open-sources PersonaPlex-7B, a full-duplex voice AI model that listens and talks simultaneously — solyarisoftware · 2026-10-23
- NVIDIA's KumoRFM-2: a foundation model that predicts churn, fraud and demand straight from relational databases — solyarisoftware · 2026-10-23