研究與評測
近 5000 名數學家連署《數學中 AI 的嚴重錯位》聲明,警告 AI 盲目解題恐破壞概念理解目標
Hacker News單一來源
尚未逐項核實
目前依單一來源整理,這是來源數量描述,不是對消息真假的判定。
據報導,近 5000 名數學家(包含 25 位菲爾茲獎得主)連署了一份名為《數學中 AI 的嚴重錯位》(A Severe Misalignment of AI in Mathematics)的聲明。
聲明核心論點指出,解決數學難題僅是達成「概念理解與洞見」此一主要目標的工具與代理指標。AI 在數學領域以越來越快的速度量產「真/偽」陳述,恐將破壞孕育新想法的土壤,使工具反噬主要目標。
文章作者分析,數學研究可分為「解題」(puzzle-solving)與「概念生成」(idea-generating)。傳統上,高難度的解題被用來驗證新概念的實用性,並作為向外界展示數學進展的高聲望指標。然而,當前 AI 能夠以繞過直覺與新概念的方式「硬解」難題,導致 AI 企業在未實質推動數學概念進展的情況下獲取聲望。這使得原本作為進步指標的「解題」失去意義,出現類似古德哈特定律(Goodhart's Law)的效應。
作者補充,目前尚無法斷言前沿 AI 模型是否具備生成新數學概念的能力;即使 AI 僅能解題,未來人類數學家仍需投入工作,為 AI 生成的證明建構人類可理解的概念框架。
讀原始報導社群討論
社群對 AI 是否破壞專業指標存在分歧:一方擔憂 AI 直接產出解答會扼殺數學與寫程式中「追求人類理解」的核心價值,並讓缺乏實力的「vibe-coding」氾濫;另一方則認為這只是將工作重心轉移至架構設計與人類協作。針對 AI 的數學能力也有激辯,有人質疑其無法提出新理論或進行全稱證明,但反對者指出 OpenAI 的 Navier-Stokes 證明 repo 中已包含 2,200 個「∀」符號,證實其具備處理普適性質的能力。討論中也出現巧妙比喻,警告若 AI 成為頂級接球員,人類四分衛(專家)的價值恐將被視為可隨意替換。