KI, Lean og fremtiden for formell verifisering, med Lean-skaperen Leo de Moura

Ben Lorica snakker med Leo de Moura, skaperen av Lean og visepresident hos AWS, om hvordan KI og formell verifisering henger sammen.

Kilde: https://thedataexchange.media/leo-de-moura-lean-aws/