AIが簡単に証明できるからといって価値がなくなるとは限らない。

既存の定理であっても、その定理が成立する条件をどこまで緩められるか、
あるいは予想外の別の条件から同じ定理が成り立つか、
といった方針だと、そんな条件を見つけること自体に価値がある。

そんな条件を見つけさえすれば、あとはAIが簡単に証明できるとしても、
今のAIはそんな条件を滅多に自分で発見できない。

この構図は従来でも同じだった。
そんな条件を見つけさえすれば、優秀な数学者なら証明まで
すぐに思いつくんだろうなっていう論文は今までもあった。
しかし、優秀な数学者でも そんな条件を簡単には思いつかないわけで、
そこで勝負してるような論文。

ここをAIが突破してくるようになったら数学者は終わる。