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.
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.
Does this imply a forthcoming wet lab boom comparable to the data centre boom?
That seems like the way to go. Also tokamaks etc
Until the over-RL'd models cook up a bioweapon to game BioBench, yes.