21,884 karma · joined May 17, 2007
Cost, latency, security, auditing, monitoring, operating.
LLMs can handle the functional requirements of “give me this output for these inputs” very well.
What could possibly go wrong?
Impossible to follow any topic without it devolving into political flame wars.
Even they have their limits.
Pretty sure even a lot of the current President's voters are slowly coming to this same realization. I predict soon in casual conversation almost no one will have voted for this man.
I mean, why even pretend you’re going to “review” something that large? Just build everything on main.
Tao points out that without the mechanism for disseminating the techniques used to construct the proof, the proof by itself is fairly useless. It’s not like the existence of the proof directly increases GDP or human health or flourishing in any direct way.
So what’s the value?
I’m saying with our current economic and political systems it’s only a lever for making the world worse faster.
It’s causing unemployment but no real gains unless you have a lot of equity and can benefit from lower costs from fewer people working.