Hacker News
points by rcpt 3 days ago | 0 comments
It's the limitations for sure.

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.

[–] crabmusket 3 days ago
Does this imply a forthcoming wet lab boom comparable to the data centre boom?
[–] kelseyfrog 3 days ago
Until the over-RL'd models cook up a bioweapon to game BioBench, yes.
[–] rcpt 3 days ago
That seems like the way to go. Also tokamaks etc