When Proofs Become Cheap: AI and the Future of Mathematics
Editorial image generated by the author. On 11 September 2026, twenty-five Fields Medallists were the initial signatories to an unusually blunt warning about artificial intelligence and mathematics. In A Severe Misalignment of AI in Mathematics , they argued that using famous mathematical problems as AI benchmarks risks confusing what mathematics can easily measure with what mathematics actually values. The concern is not that AI systems cannot solve difficult problems. It is almost the opposite. Historically, solving a famous problem usually indicated that somebody had developed new ideas, techniques or understanding along the way. The solution was valuable partly because of the mathematical structure created around it. If machines can mass-produce solutions without those results being absorbed into the intellectual structure of the field, that old relationship breaks down. We can accumulate proofs without necessarily accumulating much understanding. Much of this c...