Fermont's last theorem was formalized in a language called lean which allows you to apply the mathematical proof techniques to uh programming languages as well and and I think you're going to see a lot more of that in the future where AI generated code comes with a certificate that uh makes it really really easy to verify without reading the code that uh its behavior satisfies the properties that you want it to satisfy. >> That's really brilliant. You know, anyone anyone who drives a Tesla should
You know, anyone anyone who drives a Tesla should