OpenAI 8日宣布，旗下內部一款能力被指超越GPT-6 Astra的AI模型，針對著名的「千禧年大獎難題」之一、納維－斯托克斯存在性與光滑性問題提出解答。團隊稱最多動用約1萬個AI代理，投入數百萬美元算力，僅花88小時便產出約165頁數學證明，消息一出立刻引發關注，卻也遭外界質疑可能涉及其他數學家尚未公開的研究方向。
OpenAI 8日宣布，旗下內部一款能力被指超越GPT-6 Astra的AI模型，針對著名的「千禧年大獎難題」之一、納維－斯托克斯存在性與光滑性問題提出解答。團隊稱最多動用約1萬個AI代理，投入數百萬美元算力，僅花88小時便產出約165頁數學證明，消息一出立刻引發關注，卻也遭外界質疑可能涉及其他數學家尚未公開的研究方向。
納維－斯托克斯方程式用於描述流體運動，與血液循環、天氣等現象密切相關，也是克雷數學研究所2000年公布的7道千禧年大獎難題之一，每題獎金100萬美元。目前7道題目中，只有「龐加萊猜想」正式獲得解決。
OpenAI表示，AI提出的證明已使用Lean進行形式化，讓電腦逐步檢查邏輯。不過目前成果尚未經過數學界獨立驗證，也尚未獲克雷數學研究所公開認可，因此能否被視為真正解題，仍有待後續審查。
巧合的是，紐約大學數學家Tristan Buckmaster與Anthropic研究員Levent Alpöge近期也公布相關研究，兩人處理的是受迫Euler方程式，並非同一道千禧年難題。
Buckmaster質疑，OpenAI是否因掌握兩人的研究方向，才迅速展開相關工作，也關注私人Codex資料是否可能產生影響。OpenAI則表示，未存取兩人的特定使用者資料，但無法完全排除去識別化資料曾間接協助模型改善的可能性。
OpenAI強調，不打算申請100萬美元獎金，而是將成果視為AI科學研究能力提升的展示。最終這份證明是否成立，仍須交由數學界獨立檢驗。
相關文章
