У нас вы можете посмотреть бесплатно How can Machine Learning Help Mathematicians? или скачать в максимальном доступном качестве, видео которое было загружено на ютуб. Для загрузки выберите вариант из формы ниже:
Если кнопки скачивания не
загрузились
НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием видео, пожалуйста напишите в поддержку по адресу внизу
страницы.
Спасибо за использование сервиса ClipSaver.ru
Amaury Hayat (Ecole des Ponts - Institut Polytechnique de Paris) https://simons.berkeley.edu/talks/ama... Simons Institute for the Theory of Computing and SLMath Joint Workshop: AI for Mathematics and Theoretical Computer Science The advent of artificial intelligence raises an important question: Can AI assist mathematicians in solving open problems in mathematics? This talk explores this question from multiple perspectives. We will explore how different types of AI models can be trained to provide valuable insights into mathematical questions from different areas of mathematics and applied mathematics. Additionally, we will present examples of AI models specifically designed for automated theorem proving.