Formalization in the Lean Theorem Prover, Questions of Reliability and AI

Thursday, September 24, 2026 - 14:00 to 15:00

Thackeray 703

Speaker Information

Thomas Hales

Abstract or Additional Information

Mathematics and AI seminar

Mathematics Research Center (MRC)

The MRC research activities encompass a broad range of areas, including algebra, combinatorics, geometry, topology, analysis, applied analysis, mathematical biology, mathematical finance, numerical analysis, and scientific computing.

Ongoing activities include semester themes, distinguished lecture series, workshops, mini-conferences, research seminars, a visitor program, and a postdoctoral program.

Learn more about the MRC »