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

[mimi1020b (王一博物館)]

※ 引述《callTM (TMD)》之銘言：
: 評論的可以先看看terrace Tao 到底在說啥。 ai 破解的方法都是倒過來的。 也就是暴力解， 跟人類邏輯正導的方式不同。 所以無法每一次導出正確答案。 而且也沒人知道對不對。 因為毫無邏輯可言。 意思呢， 瓶頸反而會是存在他們這些看得懂的數學家身上。 因為導出來的人（ai) 自己根本不知道對不對。
: 所以AI 要進步的方向是不是錯了？ 應該是還是要用正向導的方法來破解而不是黑盒子。 因為最終還是會有瓶頸所在. 他給ai 評論是 像個喝醉的天才， 有一天可能就破解一個重大問題， 但僅此一次而已。 結果一堆留言是數學老害？lmao
: -----
: Sent from JPTT on my iPhone

這幾天看到一堆傳統數學家跟鄉民在酸 AI 產出的定理是「垃圾紙」、沒有「數學美感」
，甚至說什麼沒有人類洞察力的證明沒有價值，真的覺得好笑。

先聲明，我不是什麼 AI 狂熱粉，也不是要幫科技巨頭吹捧，但人類數學家的雙標跟傲慢
真的讓人看不下去。

就問一句：邏輯上能被論證、被驗證系統（像 Lean）Pass 的東西，它算不算嚴謹的數學
？

答案當然是算。

一堆人在那邊吵什麼「這只是符號遊戲」、「沒有實證感」、「人類無法理解」。
笑死，照你們這個邏輯，愛因斯坦 1916 年提出廣義相對論，數學上直接推導出「愛因斯
坦-羅森橋」（蟲洞）。
請問人類到今天有誰親眼看過蟲洞？有誰進去體驗過蟲洞？連個毛都沒抓到！
那當時的數學家有跑出來說廣義相對論推出來的蟲洞是廢紙嗎？沒有啊！因為數學邏輯上
它就是成立的。結果現在 AI 用純粹的邏輯磚塊砸出一個人類看不懂但無懈可擊的證明，
你們就開始說「這沒有靈魂」？

再講個最諷刺的例子：拉馬努金

拉馬努金當年寫了一堆神蹟般的公式，問他怎麼來的，他說是神 Namagiri 在夢裡托夢
告訴他的。

他當時留下一堆連過程都沒有、人類根本看不懂怎麼推導出來的公式。
請問當時的數學界有把那些當廢紙丟掉嗎？
沒有嘛！哈代捧著當寶，後面幾十年的數學家像挖到金礦一樣，拿著拉
馬努金的公式發了一堆 Top 期刊論文，爽爽拿來用，怎麼就沒看到你們這些人在那邊逼
逼？

結果現在換成 AI：
AI 丟出一個龐大、複雜、沒有人類直覺，但邏輯萬無一失的證明時
你們不感謝它幫忙開拓了未知領域，反而開始搞起「人類本位主義」，嫌棄 AI 的證明「
太粗暴」、「沒有審美」、「不是人寫的」。

說白了，數學的本質不就是「邏輯的真理」嗎？
真理就是真理，邏輯對了就是對了。它不隨人類的理解能力而改變，更不需要迎合人類那
微不足道的「審美觀」。

如果一個真理擺在面前，只因為人類的大腦太弱、理解不了它的全貌，就被冠上「廢紙」
的名號，那到底誰才是那個走不出來的舊時代產物？

人類真的太傲慢了。人類數學家到底在傲慢什麼？

--


                     廢文!無誤!

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 118.165.29.133 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/Gossiping/M.1789309860.A.3E0.html
→ mapulcatt: AI什麼時候100%正確了? 就不是啊
→ mapulcatt: 現在AI不過就是用超過人類的時間密度去
→ mapulcatt: 暴力堆疊出解 除了沒誕生任何新的思想
→ mapulcatt: 之外 這個暴力堆疊的過程還不保證100%
→ mapulcatt: 正確
推 DarkerDuck: 開頭就跟你講說過用lean證明過了....
→ DarkerDuck: 只是這些證明對於數學家而言無法吸收
→ potionx: https://youtu.be/NfY1arjE8Yw
→ potionx: 人類跟不上AI的產出速度 很正常吧
→ potionx: 機器跟人比 只會氣死人= =
推 PCC9169: 就一堆人人類至上
推 idlewolf: 我個人認為只要是正確無誤 就可以利用
→ idlewolf: 這世界就一堆目前還無法理解的東西構成
→ potionx: 我們都是站在巨人的肩膀上~
→ idlewolf: 如果ai可以找出這些工具給人用 那就有用
→ potionx: 只是這次這個新的巨人叫做AI
推 shadow0326: 沒差 以後都是巨人疊羅漢了
→ zzro: 能過lean 不代表就是對的 語言不是沒有漏洞
推 ProTrader: 拉馬努金 是數學界唯一的特例
噓 link5566: 在這邊當槓精很有成就感吼
→ dferww55: 看來你不懂AI目前的AI根本不懂邏輯，只
→ dferww55: 是暴力硬砸出答案的，連帶產出很多錯誤
→ dferww55: 的垃圾
推 PCC9169: 說的好像人類不會錯誤一樣 崩潰 顆顆
噓 puritylife: 光看到說ai邏輯萬無一失 整篇就是廢文
→ PCC9169: 人類暴怒 笑死
推 bye2007: AI的證明需要人類驗證 但工作量繁大而且
→ bye2007: 驗證後的功勞大多是被AI拿走 所以數學家
→ bye2007: 才會發布這份聲明 但AI確實提供很多證明
→ bye2007: 的新思路方向
噓 LukaDon77: 拿ai來回文可恥