Terry Tao Became an Evangelist for AI in Math
Terry TaoAImathematicsformal verificationLeanmachine-assisted proofcollaborative researchEquational Theoriesmathematical proofcomputer sciencemathematicsproofs
Author: Tomte
Date: 6/8/2026
Article Summary:
The article tells the story of Terry Tao, a renowned mathematician who has become an evangelist for AI in mathematics, and his efforts to create a new era of "experimental" mathematics through the use of formal verification systems and large-scale public collaborations.