On October 26, 2026, OpenAI announced that its AI system "proved that the ETH is false, a result that was subsequently verified in Lean." (see: openai.com/index/building-scientific-understanding-with-academic-communities/)