А. Ю. Окуньков. Математика в режиме ИИ: человек, машина, доказательство
Аннотация:Как искусственный интеллект влияет на саму природу математического открытия? В рамках этого мероприятия лауреат премии Филдса Андрей Окуньков предложит критический взгляд на роль языковых моделей в математике, задавшись вопросом о границах «речистого разума». Его философский разбор дополнит прагматичная перспектива сотрудников научно-учебной лаборатории сложных сетей, гиперграфов и их приложений НИУ ВШЭ — Артёма Малько и Сергея Усанова.
Они расскажут, как ИИ уже помогает формулировать гипотезы, находить контрпримеры и даже открывать новые формулы — в частности, в теории узлов. От практических кейсов в Nature до интеграции LLM с системами вроде Lean и Sage — докладчики покажут, как ИИ становится не просто инструментом, а активным участником математического поиска. Мероприятие объединит глубокие идеи, свежие результаты и вызовы будущего математики.
Страница мероприятия и ссылки на другие доклады - https://mccme.ru/ru/nmu/news-nmu/2025/09/07/mathfac-okunkov2025/
Программа:
16:00-16:50 Андрей Окуньков — «Критика речистого разума»
Речь пойдет о языке математики и той роли, которую языковые модели уже играют или могут сыграть в том, как профессионалы и любители с языком математики взаимодействуют. Не являясь ни специалистом по большим языковым моделям, ни их активным пользователем, докладчик не планирует глубокого и систематического освещения данной темы. Скорее, речь пойдет о некоторых простых принципах и примерах.
17:00-17:50 «Новый инструмент науки: как использовать ИИ в математике»
17:00-17:20 Сергей Усанов
Машинное обучение стремительно проникает в повседневную жизнь, решая всё больше прикладных задач. Более того, в последнее время оказалось, что искусственный интеллект можно успешно применять и в чистой науке!
В своём докладе я расскажу, на какой идее зиждиться машинное обучение, и про то, как оно помогло открыть новую формулу
Что такое узлы, как их различать и как упрощать?
Как выглядит самая обученная модель и как все остальные модели её приближают?
Как подружить машинное обучение и чистую математику? (и что у нас из этого получилось)
17:30-17:50 Артем Малько
Доклад посвящён тому, как большие языковые модели уже помогают математику -- от помощи с гипотезами и поиска контрпримеров до автоматизации повседневных исследовательских задач. Я коротко разберу несколько показательных кейсов из недавних работ (Nature по наводке гипотез в теории узлов, RL-подход к задачам типа Эндрюса-Кертиса, FunSearch/PatternBoost для поиска нетривиальных конструкций) и затем обсудим индустриальные тренды 2025 года: пост-тренировочные методы (RLVR), улучшение рассуждений и агентные циклы с вызовом инструментов. Ключевой вывод: масштабируемые методы поиска и обучения дают новые рычаги к старым открытым проблемам; практическая польза приходит от системной интеграции LLM-агентов с GAP/Sage/Lean и доступного вычислительного бюджета. Receive SMS online on sms24.me
TubeReader video aggregator is a website that collects and organizes online videos from the YouTube source. Video aggregation is done for different purposes, and TubeReader take different approaches to achieve their purpose.
Our try to collect videos of high quality or interest for visitors to view; the collection may be made by editors or may be based on community votes.
Another method is to base the collection on those videos most viewed, either at the aggregator site or at various popular video hosting sites.
TubeReader site exists to allow users to collect their own sets of videos, for personal use as well as for browsing and viewing by others; TubeReader can develop online communities around video sharing.
Our site allow users to create a personalized video playlist, for personal use as well as for browsing and viewing by others.
@YouTubeReaderBot allows you to subscribe to Youtube channels.
By using @YouTubeReaderBot Bot you agree with YouTube Terms of Service.
Use the @YouTubeReaderBot telegram bot to be the first to be notified when new videos are released on your favorite channels.
Look for new videos or channels and share them with your friends.
You can start using our bot from this video, subscribe now to А. Ю. Окуньков. Математика в режиме ИИ: человек, машина, доказательство
What is YouTube?
YouTube is a free video sharing website that makes it easy to watch online videos. You can even create and upload your own videos to share with others. Originally created in 2005, YouTube is now one of the most popular sites on the Web, with visitors watching around 6 billion hours of video every month.
