IA, Lean et avenir de la vérification formelle, avec Leo de Moura, créateur de Lean

Ben Lorica reçoit Leo de Moura, créateur de Lean, VP et Distinguished Scientist chez AWS et Chief Architect de la Lean Focused Research Organization. L'entretien aborde l'importance croissante des spécifications et des preuves vérifiées par machine, la confiance dans le code et les agents générés par IA, ainsi que la vision d'une pile logicielle vérifiée. Il traite aussi de l'impact sur les mathématiques, les compétences des ingénieurs et les applications hors mathématiques (finance, chimie, droit).