I Watched an AI Solve a 40-Year-Old Math Mystery. It Changed How I See Intelligence.
A probabilistic language model has produced a rigorous proof of an unsolved mathematical conjecture, shifting the bottleneck from human cognition to verification. The Cycle Double Cover Conjecture fell to an AI β and now we must face what that means for the future of intelligence itself.