※ 引述《jackliao1990 (j)》之銘言：
: https://mathandai.org/
: 此份聲明由世界最強數學家陶哲軒撰寫並由25位菲爾茲獎(數學最高榮譽)簽署
: 《AI在數學領域中的嚴重錯位》
: AI公司為了展示技術卻將破解百年數學難題簡化為展示算力與模型能力的跑分指標。然而
: 題目的價值不在於答案對錯，而在於創造新的理論和概念、推動數學進展。而AI解題時沒
: 有提出新理論，無法帶來有用的觀念啟發。
: 大型科技公司在使用數學家的公開研究論文、課本進行模型訓練時，缺乏透明度與開源精
: 神。當AI給出真假難辨的數學論證時，其內部黑盒子讓數學家極難進行同儕審查，這正在
: 動搖學術誠信的根基。
: AI應定位於輔助，AI應聚焦於幫人理解數學而非試圖取代人
: 類思考。
tao 其實有出來說,以前證明稀缺,所以一個證明出來,很多同行願意免費(低價)驗證/審議
但現在證明滿坑滿坑多到滿出來,沒有人力做驗證,結果瓶頸反而卡在這邊
所以他有在推動如果是AI的證明,那麼驗證者也應該掛名
甚至更激進一點,證明成功的屬名應該是能做解釋作驗證的人,而不是用AI做出解法但無法解釋驗證的人
其實跟 programmer 很像
AI 產 code 的速度,人類已經快要 maintain 不了了
很多 programmer 都已經開始放棄 code review 了
但是檯面上大家基於專業,尊嚴,慣性etcetc,很多人還是不願承認這一點
但 AI 沒在管你人類能不能接受,早晚,不管是寫code,還是數學證明,人類都要面臨一次重大的范式變革~