Home /  Workshop /  Schedules /  Machine Assisted Proofs

Machine Assisted Proofs

MSRI / SLMath 40th Anniversary Symposium April 13, 2023 - April 14, 2023

April 13, 2023 (03:30 PM PDT - 04:30 PM PDT)
Speaker(s): Terence Tao (University of California, Los Angeles)
Location: SLMath: Eisenbud Auditorium, Online/Virtual
Primary Mathematics Subject Classification No Primary AMS MSC
Secondary Mathematics Subject Classification No Secondary AMS MSC

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.

Supplements No Notes/Supplements Uploaded
Video/Audio Files

Machine Assisted Proofs

Troubles with video?

Please report video problems to itsupport@slmath.org.

See more of our Streaming videos on our main VMath Videos page.