Machine Assisted ProofsTerence Tao, University of California, Los AngelesMAA Earle Raymond Hedrick Lecture Series Thursday, August 7MAA MathFest 2025 Abstract: For centuries, mathematicians have relied on computers to perform calculations, to suggest conjectures, and as components of mathematical proofs. In the light of more modern tools such as interactive theorem provers, machine learning algorithms, and generative...
