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.

▲

FridgeSeal 2 hours ago | parent [-]

What do you mean “we won’t need mathematics as it is today”?

To further human understanding is itself a goal that single-handedly justifies our efforts.

Jumping straight to the “answer” and therefore missing both the understanding of the actual problem, and any useful discoveries along the way is a waste at best, and actively harmful at worst.

	▲	tzone an hour ago \| parent [-]
		Physics alone is more than enough to “further human understanding”. All current mathematicians can move to other sciences, closest being fields in physics, and it will all continue to progress just fine.