The Programming Language That Referees Mathematics — Leo de Moura

Name: The Programming Language That Referees Mathematics — Leo de Moura
Uploaded: 2026-09-29T22:38:34+00:00
Channel: Machine Learning Street Talk

Machine Learning Street TalkPodcasts · il y a 24 jours

Voir sur YouTube

Leonardo de Moura created Lean and co-created Z3. --- This episode is sponsored by Parallel. Parallel, where agents find answers: web search, extraction and deep research APIs built for AI agents. Start free with the Parallel MCP server and $5 of credits every month: https://parallel.ai/mlst?utm_source=creator&utm_medium=podcast&utm_content=MLST --- Tim Scarfe talks with Leo about how Lean escaped its original audience, why dependent types and Mathlib made it useful to working mathematicians, and what happens when formal verification leaves the lab. De Moura explains the small trusted kerne

Discussion0

Rejoignez la communauté pour réagir et poser vos questions.

Connexion Rejoindre