News
OpenAI Proves Mathematical Conjecture
OpenAI announced that its AI models have proven the local smoothing conjecture in every dimension, resolving the Kakeya conjecture and Stein's restriction conjecture across all dimensions. The proof was formalized in Lean on October 19, 2026, and OpenAI released the formal proof and a natural language explanation on GitHub. The announcement came on October 26, 2026.