【今日点击】美國人工智能巨擘OpenAI周二（8日）宣布，其未發表的AI系統已破解七大「千禧年大獎難題」之一的「納維－斯托克斯存在性與光滑性」數學難題。這被視為AI發展里程碑，但也惹來爭議，包括OpenAI如何破解難題、是否不恰當使用另一研究團隊的成果，以及功勞應歸何方。
「納維－斯托克斯存在性與光滑性」（Navier-Stokes existence and smoothness）難題涉及19世紀由法國工程師納維及英國數學家斯托克斯提出的納維－斯托克斯方程式。該方程式用以描述流體運動規律，是航空設計及天氣預測的基礎。不過，數學家一直想知道這組方程式是否在所有情况下都站得住腳，抑或會出現「有限時間爆破」——即在某個時刻流速失控，趨向無限大。OpenAI稱，其模型證明確實存在「有限時間爆破」情况。
OpenAI表示，破解工作由較GPT-6 Astra更強大的未公開系統完成。上月底，公司聽聞對手Anthropic可能已破解兩大難題，遂調動系統攻堅所有未破解的六大難題；50小時後發現在破解納維－斯托克斯難題有重大進展，遂集中火力，將AI代理數目由100個增至一萬個，88小時內完成證明，動用「數以百萬美元計」運算資源。
萬個AI代理助解流體運動規律模型
克萊數學研究所2000年公布七道重大數學難題，每破解一題可獲獎100萬美元。惟今次由AI完成，OpenAI稱無意領獎，旨在展示其模型進步速度。
不過，OpeanAI周二公布破解難題前數小時，紐約大學數學教授巴克馬斯特（Tristan Buckmaster）搶先公開他與Anthropic研究員阿爾波格（Levent Alpöge）在同一難題上的3項成果，並質疑OpenAI曾接觸兩人未發表資料，因兩人部分工作曾存於OpenAI的Codex編程模型中。巴克馬斯特進一步指控，OpenAI電腦科學家布巴克（Sebastien Bubeck）曾建議雙方協調時間，讓巴克馬斯特的成果較OpenAI早一步發表，條件是不可列入阿爾波格之名，因其為Anthropic員工。布巴克周二否認巴克馬斯特的兩項指控。
