#HackerNews #TerenceTao #MachineAssistedProofs #Mathematics #Video #AIProofs
The Institute for Pure and Applied Mathematics (IPAM) is a National Science Foundation Math Institute at the University of California, Los Angeles (UCLA) that fosters the interaction of mathematics with a broad range of science and technology, builds new interdisciplinary research communities, promotes mathematical innovation, and engages and transforms the world through mathematics. IPAM fulfills its mission through workshops and programs that connect mathematics and other disciplines or multiple areas of mathematics. These activities bring in thousands of visitors annually from academia, government, and industry. The NSF has encouraged IPAM to make the scientific presentations of our speakers available to a wider audience. While this YouTube channel contains many of our most popular videos, our full video archive is available at www.ipam.ucla.edu/videos.
The #IPAM workshop on #MachineAssistedProofs (which I am the lead organizer of) starts in less than an hour: http://www.ipam.ucla.edu/programs/workshops/machine-assisted-proofs/ . As an experiment, I plan to make some occasional posts on the workshop as comments to this post. (UPDATE: the workshop has now concluded, and videos of the talks are available at https://www.youtube.com/@IPAMUCLA/videos .)