INDAM Online Seminar Series - Lean, Formalized Mathematics and AI‑Assisted Discovery
13 nov 2026 - 14 dec 2026 [open in google calendar]
ISTITUTO NAZIONALE DI ALTA MATEMATICA
Care Colleghe, Cari Colleghi,
siamo lieti di annunciare il ciclo di seminari online INdAM "Lean, Formalized Mathematics and AI-Assisted Discovery", dedicato a Lean, alla matematica formalizzata e al ruolo crescente dell'intelligenza artificiale nella ricerca matematica. Interverranno quattro relatori. Per seguire i seminari non è richiesta alcuna conoscenza di Lean.
Tutti gli incontri si terranno alle ore 14:30 (CET), secondo il seguente calendario:
Venerdì 13 novembre – Jeremy Avigad (Carnegie Mellon University) "The future of mathematics"
Lunedì 23 novembre – Giovanni Paolini (Università di Bologna) "Aligning AI with mathematical discovery"
Mercoledì 2 dicembre – Kevin Buzzard (Imperial College London) "Lean for the working mathematician"
Lunedì 14 dicembre – Riccardo Brasca (Université Paris Cité) "Can we really trust a lean proof? What we gain from human- and AI-written proofs"
Per partecipare ai seminari, si dovrà accedere al canale YouTube dell'INdAM:
www.youtube.com/channel/UChNFQvPQRp6G5CDPmTIKshw
Durante la diretta sul canale YouTube dell'INdAM sarà possibile porre delle domande utilizzando la chat. Per un migliore utilizzo del canale YouTube INdAM vi consigliamo di iscrivervi.
In allegato trovate la locandina con gli abstract dei seminari.
Vi preghiamo di diffondere l'iniziativa tra colleghi, dottorandi e studenti interessati.
Cordiali saluti,
____________
Dear colleagues,
We are pleased to announce the INdAM online seminar series "Lean, Formalized Mathematics and AI-Assisted Discovery", devoted to Lean, formalized mathematics and the growing role of artificial intelligence in mathematical research. The series features four speakers. No prior knowledge of Lean is required.
All seminars will take place at 14:30 (CET), according to the following schedule:
Friday, 13 November – Jeremy Avigad (Carnegie Mellon University) "The future of mathematics"
Monday, 23 November – Giovanni Paolini (University of Bologna) "Aligning AI with mathematical discovery"
Wednesday, 2 December – Kevin Buzzard (Imperial College London) "Lean for the working mathematician"
Monday, 14 December – Riccardo Brasca (Université Paris Cité)
"Can we really trust a lean proof? What we gain from human- and AI-written proofs"
The seminars will be streamed live on the INdAM YouTube channel:
www.youtube.com/channel/UChNFQvPQRp6G5CDPmTIKshw
During the live stream, questions can be asked through the YouTube chat. We recommend subscribing to the INdAM YouTube channel for the best experience.
Please find attached the poster with the abstracts of all talks.
We kindly ask you to share this announcement with colleagues, PhD students and other interested students.
Best regards,
Download: