OpenAIは2026年10月26日、そのモデルが自然言語で、まだ独立した検証を受けていない3つの長期未解決の結果に対する自然言語証明を提示したと発表した。 これらの3つの結果は、Kakeya予想に関連する局所的滑らかさ、指数時間仮説の不成立、量子色力学と標準モデルの完備化の存在性である。そのうちYang–Millsの存在性証明は9月9日に生成され、その結果のLean形式化が10月16日に完了した後、公開が延期された。複雑性理論の背景を持つ評論家たちは、ETHが反証されたことが最大の影響を及ぼすと指摘している。なぜなら、ETHは多くの困難性および下界結果の基盤となっているからである。
