Re: [問卦] 有AI後還需要數學家嗎？

[giorno78 (天晴)]

數學家解決當代未解之謎的一個重要目的

就是期待他能想出新的數學工具以解決新的問題

但 AI 解數學之謎卻不是這樣   AI 都只會用當代已有的數學工具去解問題

就好比爬山  AI 就只是找到一條蜿蜒又長的小道

中間的每一步都平平無奇 為人類已知的手法 之所以未解 是因為沒人想走這麼長的道路

但對真正的數學家來說  一直都是瞄準想出新的數學工具

就比如王虹 王虹開發的多尺度歸納工具證明：

任何看似混亂的三維掛谷集，在特定尺度放缩後，必定會湧現出「黏性」結構。

這一反覆推進的歸納機制，成功將三維掛谷集的維度下界一步步推升至極限。

這種思維  是 AI 無論如何都想不到的




※ 引述《hayuyang (鳳山蠹)》之銘言：
: ....
: ai公司的人真的傻逼
: 以前的猜想重要是激發了很多思路跟理論
: 這些理論跟思路可能不一定解決原問題
: 但擴展人類數學理論的邊界
: 不管是希爾伯特問題
: Klein綱領
: Langlands Program
: 然後ai公司 ：喔喔 是喔真的假的 猜想這麼重要 解決他 end
: 假設未來ai量產證明猜想 人類數學家時間沒有多到消化
: 人類沒時間消化 就沒活水 新的"理論" 新的"猜想“ 給ai訓練 跟解決
: 啊 有人說 ai可以提出猜想啊 啊我要解決 歷史上大數學家提出的問題
: 還是你ai公司提出的猜想

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 111.241.178.220 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/Gossiping/M.1786595846.A.D55.html
推 kingstongyu: 如果數學家生在現代可以寫演算法暴力
→ kingstongyu: 計算出他所想知的猜想或結果
推 tyke123: 陳景潤也是改良篩法才證明了1+2
→ kingstongyu: AI有邏輯連演算法也能生成
推 StylishTrade: 你又知道AI不會了QQ
→ StylishTrade: 目前的AI不會 不等於AI不會QQ
→ StylishTrade: 讓王虹去發明新的AI架構 不就好了
→ Eriri: 因為這幾年被稱為AI的東西 背後的原理就是
→ Eriri: 那樣
推 widec: 就怕以後人類有了AI 都搞暴力破解這條路
→ widec: 逐漸就沒人為了縮短路徑去改良創造解方了
推 iLeyaSin365: 王虹應該也是問AI吧
→ widec: 而文明的躍進 通常都跟這些解方息息相關
→ widec: 一個背公式的 跟會導公式的 兩個都能解題
→ widec: 但兩者對數學的理解就是不同級別了