數學家解決當代未解之謎的一個重要目的
就是期待他能想出新的數學工具以解決新的問題
但 AI 解數學之謎卻不是這樣 AI 都只會用當代已有的數學工具去解問題
就好比爬山 AI 就只是找到一條蜿蜒又長的小道
中間的每一步都平平無奇 為人類已知的手法 之所以未解 是因為沒人想走這麼長的道路
但對真正的數學家來說 一直都是瞄準想出新的數學工具
就比如王虹 王虹開發的多尺度歸納工具證明:
任何看似混亂的三維掛谷集,在特定尺度放缩後,必定會湧現出「黏性」結構。
這一反覆推進的歸納機制,成功將三維掛谷集的維度下界一步步推升至極限。
這種思維 是 AI 無論如何都想不到的
※ 引述《hayuyang (鳳山蠹)》之銘言:
: ....
: ai公司的人真的傻逼
: 以前的猜想重要是激發了很多思路跟理論
: 這些理論跟思路可能不一定解決原問題
: 但擴展人類數學理論的邊界
: 不管是希爾伯特問題
: Klein綱領
: Langlands Program
: 然後ai公司 :喔喔 是喔真的假的 猜想這麼重要 解決他 end
: 假設未來ai量產證明猜想 人類數學家時間沒有多到消化
: 人類沒時間消化 就沒活水 新的"理論" 新的"猜想“ 給ai訓練 跟解決
: 啊 有人說 ai可以提出猜想啊 啊我要解決 歷史上大數學家提出的問題
: 還是你ai公司提出的猜想