
AI 開始參與證明,數學家的工作會如何改變?
影片透過七個問題,討論證明成本下降如何放大選題、判斷與抽象的價值,讓過去做不起的研究成為可能;同時也提醒,研究繁榮能否帶來更多職缺,仍取決於經費、制度與人類參與的方式。
市場筆記
AI 開始參與證明,數學家的工作會如何改變?影片透過七個問題,討論證明成本下降如何放大選題、判斷與抽象的價值,以及研究繁榮能否轉化為更多職缺。

AI 開始參與證明,數學家的工作會如何改變?
影片透過七個問題,討論證明成本下降如何放大選題、判斷與抽象的價值,讓過去做不起的研究成為可能;同時也提醒,研究繁榮能否帶來更多職缺,仍取決於經費、制度與人類參與的方式。