作者tank44444 (tank)
看板Gossiping
標題Re: [爆卦] 25位菲爾茲獎(數學最高獎)得主對AI的聲明
時間Sat Sep 12 20:01:38 2026
※ 引述《jackliao1990 (j)》之銘言:
: https://mathandai.org/
: AI公司為了展示技術卻將破解百年數學難題簡化為展示算力與模型能力的跑分指標。然而
: 題目的價值不在於答案對錯,而在於創造新的理論和概念、推動數學進展。而AI解題時沒
: 有提出新理論,無法帶來有用的觀念啟發。
: 大型科技公司在使用數學家的公開研究論文、課本進行模型訓練時,缺乏透明度與開源精
: 神。當AI給出真假難辨的數學論證時,其內部黑盒子讓數學家極難進行同儕審查,這正在
: 動搖學術誠信的根基。
: 數學家的訴求
: 1.尊重智慧財產:AI公司在抓取數學家成果時須有明確授權與利益回饋機制。
原文沒有提到「要求授權」
: 2.AI應定位於輔助,AI應聚焦於幫人理解數學(如形式化驗證工具 Lean)而非試圖取代人
: 類思考。
後半是加料,原文沒有提到 Lean或其他形式化驗證。
: 3.建立科學界監督機制:重大數學AI模型評估應由獨立學術委員會主導而非由商業利益驅
: 動
這不是超譯,已經完全是自己編的了。
根本沒有甚麼「監督機制」、「獨立學術委員會」、「評估」、「商業利益驅動」
重點就一個
AI 只負責提出解答,無法啟發新的概念,這些解答還常常沒有好好整理,甚至瓢竊前人
研究
In recent months, the success of AI in solving major mathematical problems
has made headlines even outside mathematical circles.
But solving problems is
only a tool and proxy for achieving the primary goal of conceptual
understanding and insight. Forgetting this in the world of AI may turn the
tool against the primary goal. Indeed, the mass production at faster and
faster pace of "true/false" statements could destroy fertile ground instead
of breathing life into new ideas.
Often these solutions are announced in a rush, leaving no time for a proper
writeup, the isolation of new methods and ideas, and citing relevant previous
work of others. As in all creative professions, this raises severe
attribution and plagiarism questions. Moreover, without the willing
mathematicians who must take care of their development and integration into
the mathematical canon, AI-conceived ideas would never become fully alive and
the crucial human transmission chain between mathematicians would be lost.
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 220.132.125.27 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/Gossiping/M.1789214502.A.BC3.html
※ 編輯: tank44444 (220.132.125.27 臺灣), 09/12/2026 20:02:40
→ pyrolith: 八又翻 123.110.59.89 09/12 20:03
※ 編輯: tank44444 (220.132.125.27 臺灣), 09/12/2026 20:17:04
推 StylishTrade: 人類提出新工具 AI負責證出來XDDDD111.250.148.175 09/12 20:07
→ StylishTrade: 因為人類發明新工具 還沒摸熟111.250.148.175 09/12 20:08
→ StylishTrade: AI就用暴力法湊出答案了111.250.148.175 09/12 20:09
→ StylishTrade: 數學家就指控AI偷概念QQ111.250.148.175 09/12 20:10
推 LYS5566: 數學家應該要重新找回觀察能力 洞察規律 111.240.25.69 09/12 20:22
→ LYS5566: 發現規律 建立理論才是人類強項 111.240.25.69 09/12 20:23
→ LYS5566: 解決難題本來就是次一流數學家在做的 111.240.25.69 09/12 20:23
推 TaiwanUp: 千禧難題還有5.6個沒解決 人類還沒輸 39.12.81.58 09/12 20:43
→ potionx: 你要給人類這麼大的壓力 我怕他們撐不住 111.240.95.108 09/12 20:45
→ gowaa: 原來是指控抄襲 那就跟繪圖小說類一樣啊111.246.228.130 09/13 02:17
→ gowaa: 只是這次輪到數理方面的了111.246.228.130 09/13 02:17