Machine-Assisted Proofs

The Simons Foundation’s mission is to advance the frontiers of research in mathematics and the basic sciences.

Simons Foundation

Registration for this lecture will close at 2 p.m. the day of the event. Review the complete list of entrance requirements below.

<h2>This lecture is part of the Discovering Mathematics Through Computers Presidential Lecture Series in Mathematics and Computer Science.</h2>

For centuries, mathematicians have relied on computers to perform calculations, suggest conjectures, and assist in developing mathematical proofs. In light of more modern tools such as interactive theorem provers, machine learning algorithms and generative AI, machines are playing a more creative and substantive role in the work of mathematicians.In this Presidential Lecture, Terence Tao will survey historical and recent developments in the use of machines in mathematics. He will also speculate on the future roles of machine assistance in the field

<a href="https://www.math.ucla.edu/~tao/" title="https://www.math.ucla.edu/~tao/" target="_blank" data-msys-clicktrack="0" rel="nofollow noopener noreferrer">Tao</a> was born in Adelaide, Australia, in 1975. He has been a professor of mathematics at UCLA since 1999, having completed his Ph.D. under Elias Stein at Princeton University in 1996. Tao's research areas include harmonic analysis, partial differential equations, combinatorics and number theory. He has received many awards, including the Salem Prize in 2000, the Fields Medal in 2006, a MacArthur Fellowship in 2007, the Crafoord Prize in 2012 and the Breakthrough Prize in Mathematics in 2015. Tao also holds the James and Carol Collins chair in mathematics at UCLA and is a fellow of the Royal Society, the Australian Academy of Sciences, the National Academy of Sciences and the American Academy of Arts and Sciences. From 2020 to 2024, he served on the President's Council of Advisors on Science and Technology.

REGISTRATION REQUIREMENTS<ul><li>You must be 18+ to attend this event.</li><li>Registration will close at 2:00 p.m. the day of the event</li><li>Please only register yourself and use your complete first and last name as it appears on your photo ID when filling in the form.</li><li>If you have a guest you would like to bring with you to this event, please send them the link to register so they can sign up on their own.</li></ul>BUILDING ENTRY PROTOCOL<ul><li>Provide valid photo ID.</li><li>Present your digital or printed Eventbrite ticket confirmation; make sure it is for the correct event and that the name on it matches your ID.</li><li>Limited seating is available for this in-person event and is on a first-come, first-served basis.</li><li>All attendees must be pre-registered. Walk-in entry will be denied.</li></ul>Please note that by entering the Simons Foundation, you are attesting that you are not experiencing COVID symptoms and are not knowingly positive for COVID.SCHEDULEDoors open: 5:30 p.m. (No entrance before 5:30 p.m.)Lecture: 6:00 p.m.–7:00 p.m. (Admittance closes at 6:20 p.m.)The Gerald D. Fischbach Auditorium complies with the Americans with Disabilities Act and offers accessible seating to visitors with special access needs.

<a href="https://www.simonsfoundation.org/sf-events/?type=simons-foundation-lectures" title="https://www.simonsfoundation.org/sf-events/?type=simons-foundation-lectures" target="_blank" data-msys-clicktrack="0" rel="nofollow noopener noreferrer">Presidential Lectures</a> are free public colloquia at the Simons Foundation centered on four main themes: Biology, Physics, Mathematics and Computer Science, and Neuroscience and Autism Science. These curated, high-level scientific talks feature leading scientists and mathematicians and are intended to foster discourse and drive discovery among the broader NYC-area research community. We invite anyone interested in the topic to join us for this weekly lecture series.

Our {communityGuidelinesLink} describe the sort of content we prohibit on Eventbrite. If you suspect an event may be in violation, you can report it to us so we can investigate.

To report other categories of prohibited or illegal content, submit {link}

Machine-Assisted Proofs

More events from Simons Foundation

Discover more events from Simons Foundation, from Science & Tech to other experiences you might love.

Machine-Assisted Proofs

More events from Simons Foundation

Discover more events from Simons Foundation, from Science & Tech to other experiences you might love.

You might also like...

Browse more events with different dates, prices, and formats to find your next great experience.