CRM Colloquium

Machine Assisted Proofs

by Terence Tao

September 18th, 2024

The CRM colloquium is part of the Fluid Dynamics, Geometry and Computer Science in Interaction: Exploration of New Horizons workshop, taking place from September 16-20, 2024.

CRM Colloquium by Terence Tao - University of California

Sign in
Colloquium
September 18, 2024

Institut 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​​