Mathematician on AI solving ~400 problems: "the writing on the wall is unmissable"

emax · x · 2026-10-11

A mathematician traces his evolving reaction to AI results: dismissive at the Unit Distance conjecture ("just combinatorics plus compute"), rattled by Navier-Stokes (millions in compute, beyond ordinary budgets), and finally relieved by the recent 400 problems — a deep cut across math, each solved on 3 hours of compute, by a model soon in users' hands. "The writing on the wall is unmissable now: math is entering…"

Original post →

More from AGI Musings

AGI Musings channel →