undefined

points

[-]

I mean in the same way getting Wolfram Alpha to solve a really hard/ugly differential equation I suppose

[-]

Insane that we have a system capable of making innovative math proofs and people dismiss it as unimpressive