← Back to context

Comment by lmpdev

8 hours ago

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

6 comments

lmpdev

Reply
aspenmartin  2 hours ago

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

  • doginasuit  1 hour ago

    The creation of the system is deeply impressive, so are compilers but I don't raise a toast to it each time I build my code. Like generated art, people aren't going appreciate it on the same level.