数学の天才 Terence Tao、AIが証明研究を変えるのを見る

数学者のテレンス・タオ氏が、AIが証明研究を変える可能性について論じています。AIの進歩により、数学研究は専門化される可能性があり、検証が追いつけば、人間が弱いアイデアをフィルタリングする役割を担うかもしれません。