陶哲軒「數學 2.0」演講：AI 讓証明不再稀缺，盲目追求解題有害數學

據鏈新聞發布，陶哲軒 10 月 9 日在加州理工學院發表「數學 2.0」演講，指出 AI 讓數學進入「証明過剩」時代，以解題為覈心的評價方式已經錯位，繼續盲目追求解題對數學有害；他也預告部分開源數學模型很快就會釋出。 這篇文章陶哲軒「數學 2.0」演講：AI 讓証明不再稀缺，盲目追求解題有害數學最早出現於鏈新聞 ABMedia 。