OpenAI 於 2026 年 10 月 26 日宣布,其模型以自然語言提供了三個長期懸而未決結果的自然語言證明,這些證明尚未經過獨立驗證。 三個結果分別為與 Kakeya 猜想相關的局部光滑性、指數時間假設為假、量子色動力學與標準模型完備化之存在性;其中 Yang–Mills 存在性證明生成於 9 月 9 日,發布被推遲至 10 月 16 日,待該結果的 Lean 形式化完成。具有複雜性理論背景的評論者認為,ETH 被推翻影響最大,因為它是許多困難性與下界結果的基石。