alt Hacker NewsMuch like for many the point of chess is that it's played by humans, with truly superhuman AI relegated to a training aid, mathematics is in many ways about human comprehension. You can use AI to find and proof new theorems. But if you get to the point where humans can't understand it, is it even still math?
Perhaps P=NP. The new algorithms are handed down to us. We can apply them without fundamentally understanding why P=NP.