90年前數學難題遭OpenAI 88小時破解？ 仍待獨立驗證
OpenAI 宣稱，利用最新的人工智慧模型，指揮大約1萬個AI代理程式共同運算，只花了88個小時，就在一項困擾數學界數十年的流體力學難題取得重大突破。不過，這項成果目前還沒有獲得獨立驗證。(戚海倫報導)
報導指出，這項難題涉及「納維－斯托克方程式」，主要用來描述水、空氣等流體如何運動，也和複雜的亂流現象有關。它的「存在性與光滑性問題」被列為數學界著名的千禧年大獎難題之一，如果正式解決並且獲得認可，可以獲得100萬美元、大約3150萬台幣獎金。
OpenAI表示，大約1萬個AI代理程式在解題過程中，交換將近300萬則訊息，產生大約1300億個輸出詞元。公司已經公開相關解法及形式化證明，但也表示，這次公布成果的目的，是展示AI模型在數學研究上的進展，並不打算申請千禧年大獎。
目前克雷數學研究所仍然將這項問題列為尚未解決的千禧年難題。不過，這項成果也引發外界對研究時序和資料使用的質疑。紐約大學數學教授巴克馬斯特表示，他和另一名數學家也在研究相關問題，並且質疑OpenAI開始投入這項研究的時間點。OpenAI則表示，在對方公開研究成果以前，沒有看過相關研究內容，也沒有在這次解題過程中存取使用者資料，還強調雙方提出的證明和具體結果都有明顯差異。