Tesla

Menciones entre vídeos

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

Ver en nueva pestaña Ficha del vídeo en este momento

Predicciones auditadas

Acierto: 0 Fallo: 0 Abierta: 1

Señales direccionales

Scroll al inicio