PIMS Network Wide Colloquium: Terence Tao
Topic
Machine assisted proofs
Speakers
Details
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.
Additional Information
Time:
Please note the different time (2PM Pacific Time) for this specific colloquia.
All other network wide colloquia take place at 1:30pm Pacific Time with a few exceptions.
Registration:
Participants register once on Zoom and may attend any of the colloquium talks. Please remember to download the calendar information to save the dates on your calendar. PIMS will resend the confirmation from Zoom prior to each event date.