テレンス・タオが Math2.0という題目の講演をしてるね
https://www.youtube.com/watch?v=aHpPoNNTOKY

イマジネーション豊かにAIを利用することで、新たな数学が開けることに期待している

Caltech Mathathonの試みもどうなるか興味深い
すでに解決された問題の証明を、AIを使って人間に理解しやすいものにできるかという挑戦で、
「AIを使った人間の数学理解の強化」を課題にしている