Most of mathematics is more akin to philosophy than physics or engineering. Sure, if AI can prove a result that leads to practical applications, who cares if hu

Most of mathematics is more akin to philosophy than physics or engineering. Sure, if AI can prove a result that leads to practical applications, who cares if humans can't understand it. If AI performs a series of convoluted arguments demonstrating the existence of souls (feel free to replace souls with abstract nonsense), but nobody understands why, then what's the point?