rcpt
Joined 12 years ago
Joined 12 years ago
> Take them out.
?
The way I see it: customer service sucks real bad now. In San Francisco it sucks incredibly bad. Adding another layer of it is another place for things to get worse.
I completely understand how door dash is useful. But I've been so disappointed that I just don't consider it anymore
I'm saying it'd be funny if Riemann were true but not proveable.
Though I guess it's actually funnier. If Riemann were false then there would be a counterexample, so it's clearly within existing axioms.
So if one can prove that Riemann isn't proveable in our current axioms then it has to be true.
AI has dominion over the digital world, when it can verify things in Lean it's able to crush problems like they're a game of Go.
But when the real world and digital world don't quite connect AI is bottlenecked.
Would be funny if the most famous problem turns out be an example though
Usually it's the opposite. "That's in prod? And it works? It shouldn't work and I thought it was doing something else. Why does it work?"