Explore the potential of AI in assisting mathematicians to solve open problems in mathematics through this insightful one-hour lecture. Delve into the application of large language models in developing mathematical intuition and generating candidate solutions for unsolved problems. Examine specific examples showcasing this approach and investigate the use of LLMs in automated theorem proving, including an online training procedure. Gain valuable insights into new perspectives in the field as presented by Amaury Hayat from École des Ponts ParisTech & CERMICS at the Institut des Hautes Etudes Scientifiques (IHES).
How Machine Learning Can Help Mathematicians
Institut des Hautes Etudes Scientifiques (IHES) via YouTube
Overview
Syllabus
Amaury Hayat - How can Machine Learning Help Mathematicians
Taught by
Institut des Hautes Etudes Scientifiques (IHES)
Related Courses
-
Machine Learning Applications in Mathematical Research
-
Three Problems in the Mathematics of Deep Learning
-
Photographic Image Priors in the Era of Machine Learning
-
The Quest for Adaptivity in Machine Learning - Comparing Popular Methods
-
Synthetic Data - Friend or Foe in the Age of Scaling?
-
The Impact of Machine Learning on Material Innovation and Scientific Progress
