Terence Tao: Mathematics in the Age of AI [pdf]
AImathematicsproofverificationpublicationTerence Tao
Author: Anon84
Date: 7/26/2026
Article Summary:
Terence Tao discusses the impact of AI on mathematics, particularly in relation to proof generation, verification, and publication.