[ericmay]

Still pretty awesome though, if you ask me.

[fsloth]

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

[_aavaa_]

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