＞プロ棋士はAIに勝てませんが
＞もう将棋やめようとは言いませんよ

プロ数学者がAIに勝てなくても
もう数学止めようとは言わないかな？

証明だけでなく計画すらAIが立てるようになっても？
人間にはもうとても読めない証明を出力しても？