Riccardo Brasca

Riccardo Brasca, maître de conférences à l'Université de Paris-Cité, et Assia Mabhoubi, directrice de recherche à l'INRIA, plongent dans l'univers fascinant du dernier théorème de Fermat. Ils expliquent les défis de la formalisation de cette preuve mathématique complexe pour l'enseigner aux ordinateurs. La discussion dévoile la richesse des liens entre courbes elliptiques et formes modulaires, ainsi que l'importance des outils informatiques et de la collaboration internationale dans ce projet ambitieux.