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
Mario Andretti could never have won a motor race without a car, yet we say he won the Indy500.
Insane that we have a system capable of making innovative math proofs and people dismiss it as unimpressive