Radio and PodcastRadio and PodcastLive Radio & Podcasts
Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI artwork
Education

Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI

Computer Science by Oxford University

May 15, 202547:14Education

Leo De Moura: Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI How can mathematicians, software developers, and AI systems work together with complete confidence in each other’s contributions? Th...

Related Episodes

Continue listening to more episodes from Computer Science.

Advances in Garbled Circuits

Oct 27, 2025 - 48:12

MT25 Strachey Lecture - Professor Rafail Ostrovsky: Advances in Garbled Circuits Nearly 40 years ago, And...

Will Computers prove theorems?

May 15, 2025 - 46:25

Kevin Buzzard: Will Computers prove theorems? Will computers one day replace human mathematicians? Is thi...