Timothy Gowers, Cambridge University: What makes solving mathematics problems hard for computers?

Welcome to the AI and Pure Mathematics Conference In an era where data science and artificial intelligence (AI) are transforming every facet of industry and academia, the profound synergy between mathematics and AI has never been more pivotal. Building on the foundational works of pioneers like Alan Turing, Norbert Wiener, and John McCarthy, our conference explores the vital role of mathematics in advancing AI and the roles that AI can have in mathematical discovery. Conference Focus This year’s edition delves into three dynamic areas where mathematics and machine learning converge with significant impact: Verification of Mathematical Proofs by Computer: Harnessing AI to test and verify complex mathematical proofs. Theoretical Foundations of Machine Learning: Exploring the core mathematical principles that underpin machine learning algorithms. Applications of Machine Learning in Mathematical Research: Utilizing AI to tackle challenging mathematical problems and to enhance research methodologies. Conference Highlights Distinguished Speakers: Join leading experts, including Carlos Simpson, Radmila Sazdanovich, Ben Kirtman, Daniel Bennequin, Gita Kutyniok, Florentin Guth, Soledad Villar, and Timothy Gowers, who will share their insights both in-person and via Zoom. Interactive Sessions: Each day features a dedicated 1.5-hour session focused on proposing and discussing open mathematical problems. These sessions will stimulate collaboration and foster groundbreaking ideas. Tuesday, June 25, 2024 10:30am Timothy Gowers, Cambridge University & College de France: What makes solving mathematics problems hard for computers?