Re: [爆卦] 25位菲爾茲獎(數學最高獎)得主對AI的聲明

[shala (沙羅是轉換後的文字檔打m)]

不知道有多少人真的看過聲明的英文原文，

但原PO寫的中文大意其實有不小的落差。

這件事情其實跟現在資工業面臨的兩難非常像。

數學家要證明的命題當然是無窮無盡的，

但真正能讓數學家名留青史的重大難題並沒有想像中那麼多。

所以數學家賴以追求學術成就、建立歷史地位的空間，可能會被AI搶答大幅壓縮。

而且現在AI做數學證明，基本上還是大量建立在既有的數學知識、定理以及現有工具之上
。

這跟人類數學家最大的不同，在於人類在解題的過程中，有可能發明全新的概念、方法或
理論。

如果未來越來越多重要的數學問題都被AI直接解決，人類創造新數學的機率就更低了。

這個問題的影響不只在數學本身。

數學是科學之母，物理、工程、電腦科學等領域的很多重大突破都建立在數學理論與工具
持續發展的基礎上。

數學本身如果停止進步，長期下來，其他科學又要靠什麼繼續往前走？

AI會走到「能做數學證明」這一步也不是意外，

Curry-Howard correspondence早就揭示了數學證明和電腦程式之間的對應關係，

所以數學家寫出的證明可以交給像Lean這樣的程式進行形式化驗證。

反過來看也一樣，

既然數學證明本身可以被形式化成電腦能夠表示、搜尋、檢查的東西，

那麼AI最後具備數學證明的能力就必然會發生。

一言以蔽之，大家擔不擔心AI讓人類創造新數學的動力逐漸消失？

如果不擔心，那就原地解散吧。

※ 引述《jackliao1990 (j)》之銘言：
: https://mathandai.org/
: 此份聲明由世界最強數學家陶哲軒撰寫並由25位菲爾茲獎(數學最高榮譽)簽署
: 《AI在數學領域中的嚴重錯位》
: AI公司為了展示技術卻將破解百年數學難題簡化為展示算力與模型能力的跑分指標。然
而
: 題目的價值不在於答案對錯，而在於創造新的理論和概念、推動數學進展。而AI解題時
沒
: 有提出新理論，無法帶來有用的觀念啟發。
: 大型科技公司在使用數學家的公開研究論文、課本進行模型訓練時，缺乏透明度與開源
精
: 神。當AI給出真假難辨的數學論證時，其內部黑盒子讓數學家極難進行同儕審查，這正
在
: 動搖學術誠信的根基。
: AI應定位於輔助，AI應聚焦於幫人理解數學而非試圖取代人
: 類思考。
: 簽署人
: Artur Avila（2014年菲爾茲獎）
: Manjul Bhargava（2014年菲爾茲獎）
: Caucher Birkar（2018年菲爾茲獎）
: Pierre Deligne（1978年獲菲爾茲獎）
: 鄧煜 （2026年獲菲爾茲獎）
: Simon Donaldson（1986年菲爾茲獎）
: Hugo Duminil-Copin（2022年菲爾茲獎）
: Alessio Figalli（2018年菲爾茲獎）
: Martin Hairer（2014年菲爾茲獎）
: 許埈珥（2022年菲爾茲獎）
: Maxim Kontsevich（1998年菲爾茲獎）
: Elon Lindenstrauss（2010年菲爾茲獎）
: Pierre-Louis Lions（1994年菲爾茲獎）
: James Maynard（2022年菲爾茲獎）
: Curt McMullen（1998年菲爾茲獎）
: 森重文 （1990年菲爾茲獎）
: 吳寶珠 （2010年菲爾茲獎）
: Andrei Okounkov（2006年菲爾茲獎）
: Peter Scholze（2018年菲爾茲獎）
: Stanislav Smirnov（2010年菲爾茲獎）
: 陶哲軒 （2006年菲爾茲獎）
: Maryna Viazovska（2022年菲爾茲獎）
: Cedric Villani（2010年菲爾茲獎）
: Wendelin Werner（2006年菲爾茲獎）
: Efim Zelmanov（1994年菲爾茲獎）

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 65.49.2.72 (美國)
※ 文章網址: https://www.ptt.cc/bbs/Gossiping/M.1789257758.A.D7E.html
推 error405: 你講得比較趨近原意
※ 編輯: shala (64.62.219.91 美國), 09/13/2026 08:24:02
推 charlly: 原地踏步100年
推 kureijiollie: 要是ai真的能夠發明新東西 那人類
→ kureijiollie: 該亡了
噓 suzer: 不擔心，數學界裡多的是搞其他領域看不懂
→ suzer: 的語言，對科學真有具體幫助？還是小圈圈
→ suzer: 在玩的遊戲？
推 dong80: 所以能用舊的解決就用ai ，創新的就給人
→ dong80: 類，這也是各人各行在ai時代都要做的啊，
→ dong80: 有什麼問題
推 Jiraya: Chatgpt （2028年菲爾茲獎）Gemini  （202
→ Jiraya: 9年菲爾茲獎）Claude （2030年菲爾茲獎）