Faculty page · mathematics.pitt.edu ↗

Thomas Hales

Researcher

Now Andrew Mellon Professor of Mathematics (emeritus), University of Pittsburgh

Latest on AI4S.fyiCommentary · Oct 9What mathematicians should know about the Lean Theorem Prover: questions of reliability and AI

Affiliations

Current

Andrew Mellon Professor of Mathematics (emeritus) · University of Pittsburghas of 2026-10-09mathematics.pitt.edu ↗

Current roles come from these dated records, not from the bio below. Each links the page it was read from.

Commentary by them

2026-10-09What mathematicians should know about the Lean Theorem Prover: questions of reliability and AI

Something wrong or missing on this page? Tell me and it will be fixed or removed. Contact →