The Clay Mathematics Institute should award Millennium Prizes to AI-generated proofs

Artificial intelligence research, products, and impact across society.

Accelerating scientific discovery using machine learning and AI methods.

OpenAI's October 26, 2026 announcement that its internal AI models disproved the Exponential Time Hypothesis, proved the local smoothing and Kakeya conjectures in every dimension, and produced existence proofs for Yang–Mills theory and quantum chromodynamics, now being checked by outside expert groups.

AI in Mathematics explores the application of artificial intelligence techniques — including machine learning, neural networks, and automated reasoning — to mathematical research, problem-solving, and theorem proving.