真のAGIがあれば、人間ができることは何でもできるでしょう。つまり、創造的な数学者がやっているようなこともできるようになるでしょう。しかし、それができなくても、証明を徹底的にRLVRすることができれば、数学者にとって本当に便利なツールになると思います。数学は飛躍的に加速し、大きく変わるでしょうが、必ずしもすべてがすぐに変わるわけではありません。

リーマン予想とか、そういう類の機械的な証明は得られるのでしょうか？もしかしたら、分かりません。そういったものを探すのがどれほど難しいのか、私には詳しく分かりませんし、囲碁がいつ解けるかとか、そういう類のものがいつ解けるかを正確に予測できないのと同じように、誰もそれを完全に予測できるとは思えません。