PeopleofSuperintelligence

Researcher

Filippo A. E. Nuccio

Filippo A. E. Nuccio is a mathematician whose Lean formalizations contribute to Mathlib. He completed a PhD thesis at Rome's La Sapienza in 2009 and coauthored a Mathlib formalization of class groups. He leads the FALSE project to formalize arithmetic toward the Langlands program, discussed AI's role in formalized mathematics at Sorbonne Université in April 2026, and is an associate professor at Université Jean Monnet and a Mathlib maintainer as of October 2026.

Links
GitHub

Timeline

  1. 2009

    A PhD thesis in Rome

    In 2009, he completes a PhD thesis at the University of Rome “La Sapienza”.

  2. 2021

    Class groups in Mathlib

    In 2021, he coauthors a formalization of Dedekind domains and class groups for Mathlib. The work formalizes finiteness results for class groups.

  3. Since September 2025

    Leading the FALSE project

    Since September 2025, he leads the FALSE project at Institut Camille Jordan, which aims to formalize key arithmetic results in Lean toward the Langlands program.

  4. 2025–2026

    An invited researcher at Inria

    During the 2025–2026 academic year, he is an invited researcher with Inria's CASH team at ENS Lyon's Laboratoire de l'Informatique du Parallélisme.

  5. April 2026

    Lean talk and Episciences ambassador

    In April 2026, he gives a talk at Sorbonne Université on Lean, Mathlib and AI's role in mathematical formalization. He also joins the Episciences ambassador programme for open access.

  6. As of October 2026

    Associate professor and maintainer

    He is an associate professor of mathematics at Université Jean Monnet and a Mathlib maintainer.

  1. Google had the most people shaping AI every year from 2014 to 2025Our estimates of which organizations employed the most people shaping AI from 1961 to 2025, with a year-by-year chart.
  2. The United States employs an estimated 53% of people in our data with a known employment countryOur estimates of where AI careers are concentrated now and how countries’ shares of dated positions changed over time.
  3. 46% of living people in our data with known birth and employment countries work outside their birth countryOur estimate of cross-border careers in AI, from country of birth and the country of each current organization.
  4. More people shaping AI studied at Massachusetts Institute of Technology than at any other institutionOur estimates of where the people shaping AI studied and where their careers led, from education records in cited biographies.

Sources and credits

Photo: We have no published photo of Filippo A. E. Nuccio yet. Send us a free-licensed photo.

  1. Webpage of Filippo Alberto Edoardo Nuccio Mortarino Majno di Capriglio perso.univ-st-etienne.fr. Checked 19 October 2026.
  2. A formalization of Dedekind domains and class groups of global fields arxiv.org. Checked 19 October 2026.
  3. Formalisation de l'arithmétique dans le système Lean – FALSE anr.fr. Checked 19 October 2026.
  4. Formalisation Mathématique en Lean infomath.pages.math.cnrs.fr. Checked 19 October 2026.
  5. Promouvoir l’accès ouvert Diamant : Episciences lance son programme d’ambassadeurs ccsd.cnrs.fr. Checked 19 October 2026.
  6. Mathlib maintainers leanprover-community.github.io. Checked 19 October 2026.