Terence Tao - Machine-Assisted Proofs (February 19, 2025)
Simons Foundation
View ChannelAbout
The Simons Foundation’s mission is to advance the frontiers of research in mathematics and the basic sciences. Co-founded in New York City by Jim and Marilyn Simons, the foundation exists to support basic — or discovery-driven — scientific research undertaken in the pursuit of understanding the phenomena of our world. The Simons Foundation’s support of science takes two forms: We support research by making grants to individual investigators and their projects through academic institutions, and, with the launch of the Flatiron Institute in 2016, we now conduct scientific research in-house, supporting teams of top computational scientists.
Latest Posts
No results found. Try different keywords.
Video Description
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. For more information, please visit: https://www.simonsfoundation.org/event/machine-assisted-proofs/
No Recommendations Found
No products were found for the selected channel.