OpenAI 是否利用matic的研究成果解決了千禧年難題？

OpenAI 聲稱已經破解了納維-斯托克斯方程的存在性和光滑性問題，這是由位於馬薩諸塞州劍橋市的克雷matic研究所（CMI）科學顧問委員會宣佈的七大千禧年難題之一。然而，更難解決的問題或許是如何說服公衆，因爲公衆對這家大型人工智能實驗室的方法越來越持懷疑態度。.  

OpenAI 剛剛解決了我們這個時代最難的未解matic難題之一，就立即被兩位matic問及他們未發表的研究成果是否以某種方式幫助實驗室找到了答案。.

然而，隨着這場鬧劇公開上演，OpenAI 在公衆認知方面落後了幾步 ，這也不難理解，畢竟一個價值萬億美元的人工智能實驗室捲入了一起 流氓代理安全攻擊事件 了“安全清算”，而 風險處理 對手卻是兩位與公衆關係密切的學者。 ，並且內部還就問題進行

OpenAI剛剛解決了哪個數學難題？ 

由 Sam Altman 領導的人工智能實驗室表示，他們已經用 Lean 證明語言編寫了證明和機器可驗證的版本，證明光滑、最初平靜的流體在光滑力的作用下可以無限加速，並在有限的時間內崩潰。. 

OpenAI 聲稱這項工作是由一個比其最近發佈的 GPT-6 Astra 模型更強大的內部模型完成的，它解決了克雷matic研究所 2000 年列出的七個價值百萬美元的問題之一。.

OpenAI 研究主管馬克·陳表示，其計算成本超過了 CMI 提供的 100 萬美元獎金。 塞巴斯蒂安·布貝克稱，一度有約 1 萬個智能體參與了該問題的求解。 

克雷數學研究所尚未認可OpenAI的證明。該研究所要求解決方案必須發表在符合要求的期刊或平臺上，並向公衆開放兩年，且獲得matic界的廣泛認可，方可獲得獎項評選資格。. 

值得注意的是，OpenAI 已經表示不會 尋求獎金。

OpenAI是否在其聊天記錄中使用了matic的研究成果？ 

關於 OpenAI 工作的主要爭論甚至不在於數學本身。真正的爭議在於，紐約大學的 Tristan Buckmaster 和 Anthropic 公司的maticLevent Alpöge 向包括 OpenAI Codex 在內的 AI 模型輸入的信息是否被竊取。. 

當 Tristan 第一次聽說人工智能實驗室投入大量計算能力攻克納維-斯托克斯方程難題時，他直接詢問實驗室的研究人員，他和 Levent 的 Codex 會話是否正在被使用 。

作爲一名matic，特里斯坦並沒有在沒有證據的情況下妄下斷言，而是在一份 公開聲明 ：“我不知道我們的數據是否被使用了。” 

然而，同一份文件指責 OpenAI 提出了一些“提議”，其中包括從一份將解決方案歸功於 OpenAI 內部模型的公告中刪除 Levent 的名字。. 

布貝克隨後 反駁了這一說法，他在 X 上寫道：“我從未要求將萊文特從他自己作品的作者身份中移除。” 

我想澄清幾點：

1）截圖是我聯繫Levent協調產品發佈事宜的郵件。我希望郵件內容能清楚地表明，我們是懷着最好的意願前來洽談的。.

2）我從未要求剝奪萊文特對其作品的署名權…… pic.twitter.com/yRli0hLNuM

— Sebastien Bubeck (@SebastienBubeck) 2026年9月8日

薩姆·奧特曼也發聲支持他的球隊。.

“不太可能但並非不可能”這種tron成爲懷疑論者的有力否認。

OpenAI 的核心辯護理由很簡單：無論是其員工還是其代理，都沒有看到這對搭檔的提示、草稿或用戶數據，他們只是在作品公開後才接觸到它。. 

然而，該公司在其博客文章中補充了一句話， 萊文特本人也指出：“雖然不太可能，但我們不能排除從他們使用我們產品中獲得的去標識dent數據有助於改進我們的模型。”

“我的意思是，他們能坦誠相待，值得稱讚，” 萊文特發帖說。 

Tristan 的說法也讓 OpenAI 的說法變得更加複雜。他說，他最初被告知結果中“幾乎沒有人爲干預”，但在隨後的通話中，他了解到整個團隊都參與其中，他們先處理了更簡單的問題，甚至連給他看的提示也是通過提示 Codex 生成的。. 

他將底層程序的功勞歸於matic迭戈·科爾多瓦和路易斯·馬丁內斯-索羅亞，而不是任何人工智能，並稱這一刻是該領域的“深藍-卡斯帕羅夫”轉折點。.

Tristan並未提起任何訴訟。OpenAI 堅稱 其證據與Tristan和Tristan提供的證據存在實質性差異，並且其證據的得出並未涉及任何用戶數據。 

隨着越來越多的研究成果通過各公司開發的競爭性研究工具的人工智能系統進行運行，更難的問題不再是誰擁有最終的成果，而是平臺可以對輸入其中的內容做什麼，以及事後任何人如何證明其影響力。.

如果你正在閱讀這篇文章，你已經領先一步了。 訂閱我們的新聞簡報，繼續保持領先優勢。