1萬個AI苦戰88小時！OpenAI稱破解千禧年數學難題　數學界還沒認證

圖文／鏡週刊

OpenAI 8日宣布，旗下內部一款能力被指超越GPT-6 Astra的AI模型，針對著名的「千禧年大獎難題」之一、納維－斯托克斯存在性與光滑性問題提出解答。團隊稱最多動用約1萬個AI代理，投入數百萬美元算力，僅花88小時便產出約165頁數學證明，消息一出立刻引發關注，卻也遭外界質疑可能涉及其他數學家尚未公開的研究方向。

廣告 更多內容請繼續往下閱讀

AI真的破解百萬美元難題嗎？

納維－斯托克斯方程式用於描述流體運動，與血液循環、天氣等現象密切相關，也是克雷數學研究所2000年公布的7道千禧年大獎難題之一，每題獎金100萬美元。目前7道題目中，只有「龐加萊猜想」正式獲得解決。

OpenAI表示，AI提出的證明已使用Lean進行形式化，讓電腦逐步檢查邏輯。不過目前成果尚未經過數學界獨立驗證，也尚未獲克雷數學研究所公開認可，因此能否被視為真正解題，仍有待後續審查。

廣告 更多內容請繼續往下閱讀

為何又爆出「研究撞車」爭議？

巧合的是，紐約大學數學家Tristan Buckmaster與Anthropic研究員Levent Alpöge近期也公布相關研究，兩人處理的是受迫Euler方程式，並非同一道千禧年難題。

Buckmaster質疑，OpenAI是否因掌握兩人的研究方向，才迅速展開相關工作，也關注私人Codex資料是否可能產生影響。OpenAI則表示，未存取兩人的特定使用者資料，但無法完全排除去識別化資料曾間接協助模型改善的可能性。

OpenAI強調，不打算申請100萬美元獎金，而是將成果視為AI科學研究能力提升的展示。最終這份證明是否成立，仍須交由數學界獨立檢驗。

更多鏡週刊報導
吃柚子隔2小時用藥就安全？營養師揭「關鍵原因」　這些人要注意
不只外勤！警察深夜值班也有錢了　5萬多人每月多領約2000元
民眾黨議員參選人爆偷吃人妻「每週要一次」　搞大肚子還假裝老公陪墮胎！敗訴判決曝光