СПбМО -- 2025.04.22 -- AI в математике

Это запись доклада "AI и математика: что модели могут сейчас и куда мы идём" на заседании Санкт-Петербургского математического общества 22 апреля 2025 года. Подписывайтесь на мой телеграм-канал "Sineкура": https://t.me/sinecor
Слайды доклада размещены на странице курса ML в СПбГУ: https://logic.pdmi.ras.ru/~sergey/tea...
Разделы: 00:00 Введение, таймлайны и революции AI, трансформеры и LLM 18:30 История AI в математике: пруверы и перебор случаев 26:07 RL для математики: AlphaTensor, AlphaProof, гипотеза Эндрюса-Кёртиса 43:26 LLM в математике до 2024: ToRA, FunSearch, NuminaMath 55:03 Рассуждающие модели: от CoT к o1 и R1 01:09:36 Что там на фронтире: MATH, FrontierMATH, HLE, Deep Research и обзоры 01:26:05 Когда original research: Google Co-Scientist, AI Scientist-v2, шкала креативности