OpenAI 表示,一個 AI 系統解決了納維-斯托克斯問題。這是七個千禧年大獎難題之一,也是數學中最困難的未解問題。
该公司表示,10,000 個 AI 執行緒共同運作了 88 小時以達成證明。紐約大學教授 Tristan Buckmaster 對此貢獻提出質疑。
贊助
贊助
OpenAI 所聲稱的
納維-斯托克斯 方程式描述 流體(如空氣或水)的運動。
OpenAI 的證據表明,這些方程式可能在有限時間內出現爆破,即流體速度變得無限,而非保持平滑。
該證據來自 OpenAI 說表現優於其已發布的 GPT-6 Astra 系統的未發布模型。
GPT-6 Astra 隨後花了 17 小時驗證證明的邏輯。
克雷數學研究所 提供一百萬美元 給解決這七個問題中的任何一個的人。OpenAI 表示不會申領該獎金。
贊助
贊助
信用爭議
紐約大學教授特里斯坦·巴克馬斯特表示,他與 Anthropic 的數學家萊文特·阿爾波格 接近於一個相關的結果。
他們的工作位於 OpenAI 的 Codex 內,這是一個專注於編程的 AI 模型。Buckmaster 表示,這可能使其暴露給 OpenAI 的團隊。
Buckmaster 在公開聲明中直接回應了這一關切:
我不知道他們的模型做了什麼,或如何做的。我不知道我們的資料是否被使用。我並未指控任何人做任何事。
— Tristan Buckmaster,紐約大學數學家
OpenAI 研究員 Sebastien Bubeck 在新聞簡報會上回應,否認公司曾存取或使用他們未發表的作品。
OpenAI 也承認了另一件事:它無法排除研究人員的產品使用影響了其模型的訓練。
這場爭議出現在 OpenAI 準備進行據報達 1 兆美元的公開上市之際。Anthropic 正透過 其自身的 IPO 推動 追求更高的估值。
