今は数学者が何十年も解けなかった未解決難問をAIが証明できたりしてるから、将来AIが絶のベストな解法をすぐに教えてくれそう。

この場合も外部ツールになるんだろうか