AIが数学の未解決問題を解決しまくる現代に数学者テレンス・タオ氏が提言する「Math 2.0」とは？

AIが数学の未解決問題を次々と解決できるようになる中、著名な数学者のテレンス・タオ氏がAI時代における数学研究の新たな方向性として、「Math 2.0」と題した公開講演をカリフォルニア工科大学でに行い、その資料を翌10日に自身のブログで公開しました。タオ氏は従来の数学研究を「Math 1.0」と位置付け、AIによって数学の証明が大量に生み出される時代に向けて