(T) Following is the AMS Colloquium lecture “Machine Assisted Proof”, from UCLA Professor Terence Tao, at the 2024 Joint Mathematics Meetings in San Francisco – a topics for which I have a lot of interest as it is at the intersection of mathematics and computer science:

“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 AI, we are beginning to see machines used in more creative and substantive ways in our work. In this talk we survey some historical and recent developments, and speculate on the future roles of machine assistance in mathematics.“

More materials related to that topics:

• IPAM workshop on “Machine assisted proofs” – Videos of the presentations
• “AI to Assist Mathematical Reasoning: A Workshop” – Videos of the presentations

Note: The picture above is Le Chateau des Papes de Paul Signac.

Copyright © 2005-2024 by Serge-Paul Carrasco. All rights reserved.
Contact Us: asvinsider at gmail dot com.