菲爾茲獎得主、芝加哥大學教授鄧煜,在 10 月 26 日"知識分子""賽先生"論壇的主旨演講裏,系統聊了 AI 時代該怎麼搞數學。
他先點出 AI 相對人的兩樣長處:知識面廣到沒有邊界,試錯成本又低得可以忽略。但他強調,無論在數學還是別的事上,人必須當主體,AI 只是被我們拿來用的工具。
話鋒一轉,鄧煜把矛頭對準了 AI 公司。他說,若真把 AI 當研究者,就該守學術規矩——證明出重大結論,合理要求就是公佈思維鏈。可現實是,這些公司大多以"防蒸餾"爲由拒絕公開,在已公佈的證明裏,真正亮出思維鏈的只是極少數。
"你不能在只有你蒸餾全人類網絡文獻和知識時,大大方方地去蒸餾;別人不過想知道一下思維鏈,你就說這不行那不行。"這記反諷,戳中了大廠"只許州官放火"的雙標。鄧煜因此提議,靠開源數學模型,讓數學界把屬於自己的模型攥在自己手裏,同時按學術規範約束數據使用、思維鏈披露與可追溯性。
25 位菲爾茲獎得主聯署抗議
這並非孤鳴。當地時間 9 月 11 日,陶哲軒、鄧煜、舒爾茨等 25 位菲爾茲獎得主聯署聲明《人工智能在數學中的嚴重錯位》,警告 AI 公司與數學界目標嚴重脫節。聲明指出,AI 方案常倉促放出,沒空正式寫作、隔離新方法或引用他人工作,由此引出嚴重的署名與抄襲隱患。
VIP會員