數學界的ChatGPT時刻 頂尖學者研究兩年被AI五天超車
「你會開始懷疑,自己這兩年的人生是不是都白費了。」美國卡內基美隆大學數學博士生哈里哈蘭兩年多來跟著2022年菲爾茲獎得主、瑞士洛桑聯邦理工學院數學教授維亞佐夫斯卡,帶領一支六人團隊投入一項艱鉅工程,希望把維亞佐夫斯卡最著名的一篇數學證明,拆解成電腦可以逐步驗證的形式化版本(formalization)。
然而,就在他們即將完成之際,一家AI新創公司的系統只花了五天便完成同樣任務。
這起事件,道出如今許多年輕研究者心中的焦慮。
你今年最好的選擇
- 聯合報每天報版內容。
- 付費訂戶專屬深度報導、趨勢分析。
- 《紐約時報》數位內容訂戶專屬權益,52 周。
推薦閱讀
討論
規範
- 留言不得有違法或侵害他人權益之言論,違者應自負法律責任。
- 對於明知不實或過度情緒謾罵之言論,經網友檢舉或本網站發現,聯合報有權逕予刪除留言、停權或解除會員資格。不同意上述規範者,請勿留言。
- 對於無意義、與本文無關、明知不實、謾罵之留言,聯合報有權逕予刪除留言、停權或解除會員資格。不同意上述規範者,請勿留言。
- 凡「暱稱」涉及謾罵、髒話穢言、侵害他人權利,聯合報有權逕予刪除留言、停權或解除會員資格。不同意上述規範者,請勿留言。
全部討論 ({{total}})
按讚最多
最多回覆
新到舊
舊到新