OpenAI AI Proves Soggee's 1991 Local Smoothing Conjecture for All Dimensions
OpenAI announced that its AI has proven Christopher Soggee's 1991 local smoothing conjecture for all dimensions. The proof was generated on October 18, 2026, formalized in Lean, and published on GitHub.
Read more →