From Proof to Program: CMU and the Rise of AI-Driven Mathematics

Jeremy Avigad's work in formalized mathematics is reshaping how proofs are written, checked and shared.

Raccontata dacmu.edu