CRM Colloquium
Machine Assisted Proofs
by Terence Tao
September 18th, 2024
CRM Colloquium by Terence Tao - University of California
Sign inInstitut d'Estudis Catalanas (IEC)
September 18, 2024
From 17:00h to 18:00h - Main Room: Prat de la Riba (1st floor) - Streaming rooms for registered participants: Nicolau d'Olwer and Pi i Sunyer.
All seats for the conference are now fully booked! - regitration is closed.
The colloquium will be streamed on the crm youtube channel.
*Registration not necessary if participating in the workshop.
Location: Institut d’Estudis Catalans (IEC)
Room: Prat de la Riba (1st floor)
🕒 17h
Abstract
Machine Assisted Proofs
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.
SLIDES
INVITED SPEAKER
Terence Tao
University of California
I am a Professor at the Department of Mathematics, UCLA. I work in a number of mathematical areas, but primarily in harmonic analysis, PDE, geometric combinatorics, arithmetic combinatorics, analytic number theory, compressed sensing, and algebraic combinatorics. I am part of the Analysis Group here at UCLA, and also an editor or associate editor at several mathematical journals. Here are my papers and preprints, my books, and my research blog.
I maintain a harmonic analysis mailing list and contributed to the DispersiveWiki project. I used to maintain a harmonic analysis page for conferences and other links.
Think you might know me from somewhere? Here’s how you can contact me. If you are a representative of the media, please visit this page instead.
video
COMING FROM ABROAD? HERE ARE SOME ACCOMMODATION SUGGESTIONS
ON-CAMPUS AND BELLATERRA
BARCELONA AND OFF-CAMPUS
For inquiries about this event please contact the Scientific Events Coordinator Ms. Núria Hernández at nhernandez@crm.cat
|