※ 引述《shala (沙羅是轉換後的文字檔打m)》之銘言：
: 不知道有多少人真的看過聲明的英文原文，
: 但原PO寫的中文大意其實有不小的落差。
: 這件事情其實跟現在資工業面臨的兩難非常像。
: 數學家要證明的命題當然是無窮無盡的，
: 但真正能讓數學家名留青史的重大難題並沒有想像中那麼多。
: 所以數學家賴以追求學術成就、建立歷史地位的空間，可能會被AI搶答大幅壓縮。
: 而且現在AI做數學證明，基本上還是大量建立在既有的數學知識、定理以及現有工具之上
: 。
: 這跟人類數學家最大的不同，在於人類在解題的過程中，有可能發明全新的概念、方法或
: 理論。
: 如果未來越來越多重要的數學問題都被AI直接解決，人類創造新數學的機率就更低了。
: 這個問題的影響不只在數學本身。
: 數學是科學之母，物理、工程、電腦科學等領域的很多重大突破都建立在數學理論與工具
: 持續發展的基礎上。
: 數學本身如果停止進步，長期下來，其他科學又要靠什麼繼續往前走？
: AI會走到「能做數學證明」這一步也不是意外，
: Curry-Howard correspondence早就揭示了數學證明和電腦程式之間的對應關係，
: 所以數學家寫出的證明可以交給像Lean這樣的程式進行形式化驗證。
: 反過來看也一樣，
: 既然數學證明本身可以被形式化成電腦能夠表示、搜尋、檢查的東西，
: 那麼AI最後具備數學證明的能力就必然會發生。
: 一言以蔽之，大家擔不擔心AI讓人類創造新數學的動力逐漸消失？
: 如果不擔心，那就原地解散吧。
: ※ 引述《jackliao1990 (j)》之銘言：
應該說
未來AI發展必然是走向特化的
就好像目前的電腦一樣
泛用型的與專業製圖的，或者是電競比賽用的
規格需求完全都不同
現在數學難題能讓數學家配合AI解答
那接著的方向
不可能是窮究世界萬物真理
而是朝著更難的命題前進
只是AI的出現，推動了這個進程快速地通過而已
如同計算機的問世
到電腦的問世
數學家，或者是科學家從來也沒有停止使用這些工具
早晚會走到泛用型無法輕易解答的數學難題之上
那時仍舊必須回歸專業特化型的LLM模型與數學家的配合
至於最近那個陰謀論
說幾年內AI可以怎樣毀滅人類啥的
聽聽就好
這麼渾沌無序的現實世界
光靠AI所謂的自我提升就能突破
除非他的前提是算力無限大，時間也推到無限大
但這個物理限制本質就不可能去除掉
算力是有限的
人類給出算力，也有獲利需求的
所以給AI一句變強
就可以在理論上無限變強
但實際上，還就是一堆幻覺以及幻覺還有幻覺
沒辦法啊，對無序渾沌的事物語料品質就這麼低
沒有無限算力與時間
哪來的正面突破機會？
而工業革命以來
科學的發展很多都奠基於數學難題的被突破
現在AI應用發達
過去的難題也被一一解破
那對於科學界而言
也許又有一波新的提升潮將來到未也可知
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 61.222.168.209 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/Gossiping/M.1789260825.A.2EC.html