"Topic: AI and Formalization in Mathematical Research"
Speakers: Vicenç Torra, Carl Westerlund, and Sohaib Khalid
Topic: AI and Formalization in Mathematical Research
Time and place: Friday 25 September, 12:30–13:30 in room MIT.A.326.
Abstract: Recent advances in AI have contributed to several important mathematical results and are beginning to influence research across the formal sciences. These developments have also generated renewed interest in formalizing mathematical concepts, proofs, and theories using proof assistants such as Lean.
In this seminar, Vicenç Torra, Carl Westerlund, and Sohaib Khalid will share their experiences and thoughts of using Lean in mathematics and related fields. Part of this work is with Maria Bras-Amorós (Dept. Mathematics, Universitat Politècnica de Catalunya). We will also introduce a planned reading group for anyone interested in learning more about formalization and AI-assisted research.
