Hacker News new | ask | show | jobs
by aspenmartin 38 days ago
Insane that we have a system capable of making innovative math proofs and people dismiss it as unimpressive
1 comments

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.
Wow you consider this on the same level of impressiveness as a compiler?
I actually consider compilers more impressive, and a compiler was an important part of making this possible.
Are transistors more impressive than compilers then? And presumably accounting is more impressive than transistors?

I’m not sure I can get behind the “foundations are necessarily more impressive than edifices” view..

To each their own. I mean compilers didn’t produce trillions of dollars of investment, and produce serious and profound philosophical questions about the nature of consciousness but you’re right, thank god we have C
Compilers just made it all possible, but they are not new and shiny. LLMs did not produce the philosophical questions, but they do raise them. It's worth noting that computers have been changing the way we think about consciousness long before LLMs, largely thanks to compilers.
Yea there’s no logical stopping point when you use that logic. Why not say electricity or the element silicon?
Compilers were required for our whole tech ecosystem. They just didn’t require trillions of dollars of investment to become useful.
What a weird fucking measuring stick. By your logic crypto is one of man's greatest achievements because it received oodles of investor cash, and kicked up tons of conversations online about the nature of finance and banking.
It’s not the measuring stick, what it can do is the measuring stick. Another person comparing a system that can do Erdos proofs to a compiler or even worse, crypto? Everyone has a right to be unimpressed i just find it incredible to be so dismissive with a straight face.