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
-
AI and Machine Learning Algorithms and Techniques
-
Reinforcement Learning from Human Feedback (RLHF)
-
Three Problems in the Mathematics of Deep Learning
-
Uncertainty Quantification in Machine Learning: Federated Conformal Prediction
-
Photographic Image Priors in the Era of Machine Learning
