Mathematician Alex Kontorovich: OpenAI Proved Unit Distance Conjecture and 10 More Major Problems
soumitrashukla9 · x · 2026-10-08
Mathematician Alex Kontorovich, on a panel about the future of math after "math day", said OpenAI proved the unit distance conjecture in May — a widely known open problem many people had worked on, not an obscure Erdős question — and was met with accusations of "polluting arXiv with AI slop". By June, OpenAI had proved 10 major problems including the existence of non-sofic groups. A rare first-hand acknowledgment that AI is systematically cracking celebrated open problems, alongside academic pushback.
More from Companies & People
- Google's Project Suncatcher starts testing TPUs in orbit for scalable AI compute — ZoubinGhahrama1 · 2026-10-08
- Epic CEO: AI Acceleration Drove Significant Fab Seller Revenue Growth in September — trq212 · 2026-10-08
- Polymarket puts just 5% odds on Dario Amodei leaving Anthropic CEO role by year-end — Polymarket · 2026-10-08
- Paul Graham: Founders regret hiring outside execs, never regret promoting from within — ycombinator · 2026-10-08
- Margaret Hamilton, Apollo software lead who coined 'software engineering', dies at 90 — Grady_Booch · 2026-10-08
- The Super IC era: how AI turns single engineers into whole teams — soleio · 2026-10-08