紐時風格

數學界的ChatGPT時刻 頂尖學者研究兩年被AI五天超車

八維球體堆積模型、數學公式與程式碼疊合呈現,象徵AI已能參與高階數學證明工作,甚至完成原本需研究團隊耗費數年才能完成的形式化驗證。紐約時報
八維球體堆積模型、數學公式與程式碼疊合呈現,象徵AI已能參與高階數學證明工作,甚至完成原本需研究團隊耗費數年才能完成的形式化驗證。紐約時報

「你會開始懷疑,自己這兩年的人生是不是都白費了。」美國卡內基美隆大學數學博士生哈里哈蘭兩年多來跟著2022年菲爾茲獎得主、瑞士洛桑聯邦理工學院數學教授維亞佐夫斯卡,帶領一支六人團隊投入一項艱鉅工程,希望把維亞佐夫斯卡最著名的一篇數學證明,拆解成電腦可以逐步驗證的形式化版本(formalization)。

然而,就在他們即將完成之際,一家AI新創公司的系統只花了五天便完成同樣任務。

這起事件,道出如今許多年輕研究者心中的焦慮。

推薦閱讀

討論

規範
  • 留言不得有違法或侵害他人權益之言論,違者應自負法律責任。
  • 對於明知不實或過度情緒謾罵之言論,經網友檢舉或本網站發現,聯合報有權逕予刪除留言、停權或解除會員資格。不同意上述規範者,請勿留言。
  • 對於無意義、與本文無關、明知不實、謾罵之留言,聯合報有權逕予刪除留言、停權或解除會員資格。不同意上述規範者,請勿留言。
  • 凡「暱稱」涉及謾罵、髒話穢言、侵害他人權利,聯合報有權逕予刪除留言、停權或解除會員資格。不同意上述規範者,請勿留言。
全部討論 ({{total}})
按讚最多 最多回覆 新到舊  舊到新 
看更多回覆