I think even “non-intelligent” solver like Mathematica is cool - so hell yes, this is cool.

Big difference between “derives new result” and “reproduces something likely in its training dataset”.