AI真的破解百萬美元難題嗎？
納維－斯托克斯方程式用於描述流體運動，與血液循環、天氣等現象密切相關，也是克雷數學研究所2000年公布的7道千禧年大獎難題之一，每題獎金100萬美元。目前7道題目中，只有「龐加萊猜想」正式獲得解決。
OpenAI表示，AI提出的證明已使用Lean進行形式化，讓電腦逐步檢查邏輯。不過目前成果尚未經過數學界獨立驗證，也尚未獲克雷數學研究所公開認可，因此能否被視為真正解題，仍有待後續審查。
為何又爆出「研究撞車」爭議？
巧合的是，紐約大學數學家Tristan Buckmaster與Anthropic研究員Levent Alpöge近期也公布相關研究，兩人處理的是受迫Euler方程式，並非同一道千禧年難題。
Buckmaster質疑，OpenAI是否因掌握兩人的研究方向，才迅速展開相關工作，也關注私人Codex資料是否可能產生影響。OpenAI則表示，未存取兩人的特定使用者資料，但無法完全排除去識別化資料曾間接協助模型改善的可能性。
OpenAI強調，不打算申請100萬美元獎金，而是將成果視為AI科學研究能力提升的展示。最終這份證明是否成立，仍須交由數學界獨立檢驗。
