Well, if in future we do end up with a magical tool that can solve any formal mathematical problem on a whim, we really won’t need field of mathematics anymore as it is today.
There would be no need to deliver new mathematical insights by solving problems. You would just have a magical math problem solving machine and that’s it.
There would be no need to deliver new mathematical insights by solving problems. You would just have a magical math problem solving machine and that’s it.