Tesla

Mentions across videos

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

Watch in new tab Video details at this moment

Audited predictions

Hit: 0 Miss: 0 Open: 1

Directional signals

Scroll to Top