- OpenAI 發佈超過 370 項數學成果，激起審查討論。
- Navier-Stokes 方程的解決引發更高期望，專家擔憂。
- 普林斯頓高級研究院警告 AI 生成數學論證的風險。
- 數學家對 AI 結果的理解和驗證能力表示質疑。
OpenAI 發佈了超過 370 項新的數學結果，令數學家感到驚訝，並激起關於 AI 生成的作品如何進行審查以及誰有權進行審查的討論。根據《衞報》的報導，該公司於週二公佈的研究涵蓋了代數、理論計算機科學和數學邏輯。《時代報》則將數字定為 377，報導指出 OpenAI 宣稱已解決 377 道數學方程式，這些方程式多年來令專家困惑。此次發佈旨在展示 OpenAI 一些最先進的 AI 模型所能達成的成果。
Navier-Stokes 方程的影響
Navier-Stokes 方程的解決引發了更高的期望。該發佈隨著上個月 OpenAI 解決了 Navier-Stokes 方程而來，這是世界上最具挑戰性的數學問題之一，對於能破解此方程的人提供了 100 萬美元的獎金，根據《衞報》的報導。這一成就引發了該領域領導者的擔憂。他們表示，前沿實驗室不應在無法為更廣泛數學社羣所使用的專有 AI 模型上測試最先進的數學問題。
專家對 AI 生成數學的擔憂
普林斯頓的高級研究院是一個獨立的數學專家團體，對此做出了回應，表示並不支持這一做法。該機構在一份聲明中警告，AI 現在可以產生數學論證，而促使其產生的個體卻無法理解、驗證或承擔責任。聲明指出，人類對數學的理解「仍然至關重要」。該組織還提出了一個更廣泛的問題：在這個新時代，研究人員如何建立一種模式，使人類對數學的理解成為負責任學術產出的組成部分？
為了回應社羣的擔憂，OpenAI 宣佈將與該院合作，讓「數學家在我們未來的發展中有發言權」。然而，該公司並未表示會停止在如此高級的問題上測試其 AI 模型。該領域的專家擔心 OpenAI 未能對結果進行必要的審查。
誰應該獲得榮譽？紐約大學的數學家 Tristan Buckmaster 在接受《紐約時報》訪問時提出了另一個擔憂。他表示，促使 AI 模型解決方程的數學家可能會提供幫助模型得出答案的資訊。「可能會有一系列的結果，他們會採取某人的工作，然後將其完成。」Buckmaster 如是說，根據《衞報》的報導。
數學界的基本緊張關係
這場辯論也變得更加反思。多倫多大學的數學研究生 Kai Shaikh 告訴《時代報》，人類有兩種競爭的本性：一種是競爭的傾向，另一種是欣賞美的能力。「對我來說，這似乎是前者試圖扼殺後者的情況。」Shaikh 表示。綜合各方反應，這顯示出數學領域正在掙扎於一種基本的緊張關係。OpenAI 正在數量驚人的發佈研究結果，而數學家則在質疑這些結果是否能夠被理解、驗證並以傳統學術工作的方式獲得認可。
高級研究院尚未支持這一做法，而 OpenAI 也未明言將停止此行為。
AI 生成數學成果的挑戰與責任
OpenAI 的最新發佈引發了數學界對 AI 生成作品的審查問題。隨著 AI 模型在解決複雜數學問題上取得進展，專家們對其結果的理解和驗證能力提出了質疑。普林斯頓高級研究院的聲明強調了人類對數學理解的重要性，並要求建立負責任的學術產出模式。這種對 AI 生成數學成果的討論，反映了學術界在技術進步與傳統學術標準之間的掙扎，未來的發展將需要更深入的合作與反思。