OpenAI 在2026年10月26日宣布，其模型用自然语言给出了三项长期悬而未决结果的自然语言证明，这些证明尚未经过独立验证。 三项结果分别是 Kakeya 猜想相关的局部光滑、指数时间假设为假、量子色动力学与标准模型完备化的存在性；其中 Yang–Mills 存在性证明生成于9月9日，发布被推迟到10月16日该结果的 Lean 形式化完成后。有复杂性理论背景的评论者认为，ETH 被推翻影响最大，因为它是许多困难性与下界结果的基石。