← Back to context Comment by kerabatsos 8 hours ago But perhaps we should regard it as a major achievement. 7 comments kerabatsos Reply lmpdev 8 hours ago I mean in the same way getting Wolfram Alpha to solve a really hard/ugly differential equation I suppose 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. 4 replies →
lmpdev 8 hours ago I mean in the same way getting Wolfram Alpha to solve a really hard/ugly differential equation I suppose 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. 4 replies →
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. 4 replies →
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. 4 replies →
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
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.
4 replies →