陶哲軒對談王虹：數學界須學會「消化」AI成果

證明氾濫的危機

人工智能產出的數學證明數量激增，已令學界出現「讀不過來」的隱憂。證明寫出來只是起點，能否被同行理解、檢驗與吸收，才是數學知識真正入庫的關鍵。

面對這場新形態的危機，兩代菲爾茲獎得主給出了幾乎相同的答案。北京大學數學科學學院最近發布王虹的萬字專訪長文，她提出了相當中肯的建議。