The problem is still that the AIs are kinda bad, not that they are good
So as hard as this is to take in - news like the last post, the spate of mathematical proofs using big AI for formal verification or Anthropic's admission they had their own HuggingFace moment sound obviously like the arrival of super-duper smart...