undefined

Patrick Masso

Professeur ayant collaboré avec Kevin Buzzard sur des problèmes posés par Peter Scholz. Il a conçu l'outil Lean Blueprint pour coordonner la formalisation du dernier théorème de Fermat.

Best podcasts with Patrick Masso

Ranked by the Snipd community
undefined
Mar 27, 2025 • 8min

Comment faire apprendre la démonstration du dernier théorème de Fermat à un ordinateur ?

Dans ce podcast, Patrick Masso, professeur et collaborateur de Kevin Buzzard, discute de la formalisation du dernier théorème de Fermat grâce à l'outil Lean Blueprint. Il explique comment cet outil permet d'instruire un ordinateur sur l'intégralité des étapes de la démonstration mathématique. La conversation se concentre sur l'importance de la structure et des graphes visuels pour faciliter la collaboration entre mathématiciens. Un défi passionnant et complexe qui place l'innovation mathématique au cœur de la technologie moderne.