AI公司正毀掉整個數學圈！
OpenAI，又開始對黎曼猜想和P與NP問題下手了？？
最近，這些AI大公司彷彿瘋了一般在衝刺「千禧年問題」的KPI。
9月8日，NS方程被宣佈解決；9月11日，第二道千禧年難題霍奇猜想被曝接近解決；據稱，O/A兩家正瘋狂競速，向BSD猜想發起衝鋒。
到了今天，又有驚人消息傳來：OpenAI已經在用內部模型嘗試解決黎曼猜想和P與NP問題。如果該模型證明了 P = NP，整個電腦科學領域都將被顛覆！
然而，人類數學家們已經憤怒到了極點。
就在剛剛，包括陶哲軒在內的25位菲爾茲獎得主聯名開炮，矛頭直指OpenAI與Anthropic：「AI正在摧毀數學本身！」
他們並不是怕AI變強，而是看不慣數學被這兩家做成基準測試和公關素材。
整個數學學術生態，將會因此摧毀！
01. 88小時，1萬智能體：AI對人類智力「降維打擊」？
事情的導火線，是前幾天OpenAI拋出的重磅消息。
OpenAI宣佈，自家的內部AI利用1萬個智能體，僅耗時88小時，就暴力破解了千禧年大獎難題之一的納維-斯托克斯方程，證明了流體在特定條件下會產生奇點，並隨後公佈了Lean形式化驗證。
隨後，OpenAI公開宣佈：拒領100萬美元的千禧年大獎。
拿下NS方程才短短兩天，OpenAI又向《紐約時報》凡爾賽式承認：我們已經在另一個千禧年問題（霍奇猜想）上取得了實質性進展。
現在，一張全新的「千禧難題基準測試」圖表正在瘋傳，得分如下。
Meta / DeepMind / xAI 等公開模型：全員 0 分
人類基線（全人類頂級數學家）：1 分
Anthropic 內部未發佈模型：1 分
OpenAI 內部未發佈系統：2 分
以往那些測程式碼、做奧數的榜單，在千禧年難題面前已經徹底淪為廢紙。
現在，大模型的競爭已經進入了無人區：不是看誰先發模型，而是看誰又拿下了一道千禧年難題。
02. 陶哲軒領銜，26位菲獎得主怒了
然而，對於AI公司這種把數學難題作為秀模型能力的做法，數學家們徹底憤怒了。
就在今天，25位菲爾茲獎得主聯合發表了一封名為《人工智慧在數學領域的嚴重錯位》的公開信。
得主名單包括Artur Avila, Maxim Kontsevich, Peter Scholze, 陶哲軒等，幾乎囊括了當今最偉大的數學大腦。
為了讓大家更直觀地感受到他們字裡行間的痛心，我們在此附上這封震撼的公開信原文。
菲獎得主們的核心訴求，是抵制把數學當做「通關副本」的商業邏輯。
正如他們所言，科技公司把解題當做公關素材，與數學的目標嚴重錯位。
數學的核心，從來都不是產出冷冰冰的答案，而是理解結構、孕育思想。
解決一個著名難題，真正的突破要經過漫長的演講、討論、簡化、寫進教材，才能變成全人類共享的工具，甚至在幾個世紀後造福大眾。
如果只是用算力狂轟濫炸給出結果，人類的「思想鏈」就會斷裂。如果沒有人類「養活」，數學的靈感將會枯竭！
數學界最寶貴的資源，就是學生和想法，而AI公司的做法，正在破壞這片土壤。
更何況，匆忙公佈結果、缺少論文、不交代AI是如何推導的、不引用前人工作……這些製造了嚴重的歸屬與抄襲問題。
正如信中所說：當產出結果變得無比容易，最初我們為何而做，就被遺忘了。
03. 細思極恐的「學術醜聞」：AI是在證明，還是在「洗稿」？
更何況，OpenAI還涉嫌竊取人類數學家的未公開研究成果。
紐約大學數學家 Tristan Buckmaster 提出了強烈質疑。他和合作者 Levent Alpöge 一直在研究NS方程的同一個方向，並且在過去幾個月裡，把大量未公開的草稿、推演思路作為Prompt輸入給了OpenAI的Codex系統。
結果幾天後，OpenAI就集中算力拿出了NS的證明！
Buckmaster 懷疑：我的未公開研究，是不是已經被模型悄悄「學」進去了？
面對指控，OpenAI明確否認了「偷用」，聲稱劃定了7月3日為時間邊界，此後的使用者輸入不會影響系統。
他們甚至提出，可以把Buckmaster 的名字署在NS證明上——條件是，他必須放棄在Anthropic工作的合著者的署名。
這還不算完，更錘的證據來自另一位數學大牛 Andreas Thom。
Andreas在爆料，他花了二十年時間研究 Gromov 的 soficity 猜想（OpenAI後來宣佈Astra系統解決的十個難題之一）。前幾個月，他用ChatGPT和同事積極討論了這個問題。
當OpenAI宣佈解決該問題時，使用了與Andreas高度重合的非主流冷門路徑！
Andreas寫郵件質問OpenAI研究員：我們的私人對話是否進入了訓練資料，或者被推理過程訪問了？
OpenAI的回覆極其玩味：他們堅決否認了「直接訪問」，但隨後又在別的場合補充：「不能排除從使用者使用我們產品中得出的『去標識化資料』幫助改進了我們的模型。」
去標識化也許能抹去一個數學家的名字，但抹不去一個數學思想的智慧財產權。
一位學者憤怒地指出：「如果指控屬實，我們正目睹科學史上最嚴重的學術醜聞之一。AI並非在發現新的數學知識，而是在竊取人類的發現，然後用算力搶跑發表！」
OpenAI 在NS方程上跑了88小時的算力，其耗費的資金足以僱傭 600 名博士後，工作整整一年。
用如此龐大的資源去搶奪學者的未發表成果，這是在發展科學，還是在絞殺數學生態？
正如公開信中一位讀者留言所說：「AI和它的幕後操盤手，就像是被誇大了的人類劣根性——他們急功近利、搶奪功勞、不講武德，但他們確實手裡握著重型武器。」
OpenAI和Anthropic的瘋狂內卷，踐踏的是全體人類數學家的尊嚴。
當所有需要絞盡腦汁的星辰大海，都被AI用GPU在88小時內化解為冰冷的「True」。
當所有千禧年難題都被當做Benchmark被依次點亮。
人類，又該以何種方式證明自己曾在這個宇宙中思考過？ (新智元)