Докладчик: Николенко Сергей Игоревич, доктор физико-математических наук, профессор,
лабор мат.логики ПОМИ РАН, ФКН СПбГУ.


Реферат. Современные AI-модели всё чаще оказываются не только объектом,
но и субъектом научных исследований.
Громких теорем, доказанных полностью автоматически, всё ещё нет,
но кажется, что большие языковые модели (large language models, LLM) уже сейчас способны помогать учёным
в очень широком спектре задач.

В докладе мы обсудим текущее положение дел с новыми научными результатами у LLM и увидим,
какой скачок произошёл с появлением рассуждающих моделей; особенный упор будет сделан на математические результаты.


Ссылка на видео семинара




https://my.mts-link.ru/29930273/9458600199/record-new/9062079480

пароль 2222

28.11.2025