傳 OpenAI 與 Anthropic 逼近破解多項千禧年大獎難題，OpenAI 否認模型輸出受數學家 Codex 紀錄影響

社群平台流傳 OpenAI 與 Anthropic 正逼近破解多項「千禧年大獎難題」（Millennium Prize Problems），相關 AI 生成的證明據傳正處於秘密審查階段。消息指出，OpenAI 接近驗證「霍奇猜想」（Hodge conjecture）的證明，而 OpenAI 或 Anthropic 其中一方也可能即將給出「貝赫和斯維納通-戴爾猜想」（Birch–Swinnerton-Dyer conjecture）的解決方案。 此外，針對《紐約時報》報導涉及數學家 Tristan Buckmaster 與 Levent 關於「納維-斯托克斯存在性與平滑性」（Navier-Stokes）問題的研究爭議，OpenAI 官方已明確否認其模型輸出是受到上述學者近期使用 Codex 的紀錄所影響。