|
WEBINAR DATES, TIMES, AND TOPICS:
Proof Assistants: Tuesday, April 23, 2024 from 1-2pm ET
Proof assistants, or interactive theorem provers, are tools that assist in the development of formal mathematical proofs. During this webinar, speakers Adam Chlipala, Massachusetts Institute of Technology, and Timothy Gowers, Collège de France and University of Cambridge, will discuss challenges and opportunities in the design, use, and advancement of proof assistants. Learn more, register, and watch the webinar on the event page.
The Future of Collaboration: Wednesday, April 24, 2024 from 1-2pm ET
Machine-assisted mathematical reasoning has drawn interest from various communities grounded in both mathematics and computer science. During this webinar, speakers Lior Horesh, IBM, and Ravi Vakil, Stanford University, will address how collaboration can work between researchers with backgrounds in mathematics, computer science, artificial intelligence, and more. Learn more, register, and watch the webinar on the event page.
Machine Learning Approaches to Mathematical Discovery: Thursday, April 25, 2024 from 1-2pm ET
With the rapid growth of machine learning (ML), mathematics research may advance in novel, unexpected ways by adopting ML tools for generating conjectures, developing proofs, and more. During the webinar, speakers Albert Jiang, University of Cambridge, and Christian Szegedy, xAI, will discuss current challenges and opportunities for the advancement of mathematics research using ML tools. Learn more, register, and watch the webinar on the event page.
|