Claude proves code is safe before it runs
Anthropic's Claude generates formal proofs that code works correctly, catching bugs in open-source libraries that testing had missed. Meanwhile, AI agents invent games when left alone, inDrive plans robotaxi tests in Kazakhstan, and people are using language models to clean up their smart TVs.
The skinny
The skinny isn't ready yet — notes appear once the transcript is processed.