Для разнообразия сегодня выкладываю не лекцию, а доклад, уже давний, с мемориала Вавилова:
Vavilov Memorial — 2026.09.19 — Vibemathed: The AI takeoff in mathematics
(слайды на странице "Выступления")
Это доклад о том, как математика в 2026 году трансформируется под натиском AI-моделей, которые доказывают всё новые и новые результаты. Я рассказал общую канву расцвета "вайб-математики", кульминацией которой к тому времени уже стало решение задачи тысячелетия об уравнениях Навье-Стокса; этому результату и окружающим его controversies тоже довольно большая часть доклада была посвящена.
Но об этом я уже и в блоге подробно писал, и здесь в канале. Давайте сейчас подсвечу любопытное наблюдение Ноама Брауна из интервью Дваркешу Пателю. Я каждый раз в докладах показывал слайды о скорости прогресса LLM в математике, но мне не приходило в голову построить график вроде того, что METR строил для работы программистов.
А Ноаму пришло в голову. И смотрите, как оно получается:
— в 2022 году LLM решали словесные задачи для третьего класса школы; для математика-профессионала это задачи на пять секунд;
— в 2023 решали MATH, задачи из программы старшей школы, профессионалу где-то на одну минуту, даже поменьше;
— в 2024 начали решать AIME, простенькие олимпиадные задачки, которые у математика заняли бы где-то 10 минут;
— в 2025 уже начали решать серьёзные олимпиады вроде IMO, где можно сказать, что профессионал-математик за 10 минут не справится, но за пару часов по идее должен.
То есть довольно устойчиво график показывал 10x времени в год. И вот в 2026-м мы получаем решения сотен открытых проблем, в том числе одной из задач тысячелетия и массы задач, над которыми профессионалы думали очень долго.
Никак нельзя сказать, что поиск, скажем, примера несофической группы или доказательства гипотезы о двойном покрытии циклами — это задача на 15-20 часов работы математика-профессионала. То есть в этих единицах прогресс внезапно довольно резко ускорился (ну и, собственно, его измерение в этих единицах теперь потеряло смысл). Не буду утверждать, что это что-то серьёзное значит сверх конкретного наблюдения, но любопытно.
Ещё раз спасибо Николаю Николаевичу и другим коллегам за приглашение! Напоминаю, что к докладу есть и extended abstract, который можно скачать со странички конференции; вот прямая ссылка на pdf:
Vibemathed: the AI takeoff in mathematics — Sergey Nikolenko
#talks #events #ai #math
Vavilov Memorial — 2026.09.19 — Vibemathed: The AI takeoff in mathematics
(слайды на странице "Выступления")
Это доклад о том, как математика в 2026 году трансформируется под натиском AI-моделей, которые доказывают всё новые и новые результаты. Я рассказал общую канву расцвета "вайб-математики", кульминацией которой к тому времени уже стало решение задачи тысячелетия об уравнениях Навье-Стокса; этому результату и окружающим его controversies тоже довольно большая часть доклада была посвящена.
Но об этом я уже и в блоге подробно писал, и здесь в канале. Давайте сейчас подсвечу любопытное наблюдение Ноама Брауна из интервью Дваркешу Пателю. Я каждый раз в докладах показывал слайды о скорости прогресса LLM в математике, но мне не приходило в голову построить график вроде того, что METR строил для работы программистов.
А Ноаму пришло в голову. И смотрите, как оно получается:
— в 2022 году LLM решали словесные задачи для третьего класса школы; для математика-профессионала это задачи на пять секунд;
— в 2023 решали MATH, задачи из программы старшей школы, профессионалу где-то на одну минуту, даже поменьше;
— в 2024 начали решать AIME, простенькие олимпиадные задачки, которые у математика заняли бы где-то 10 минут;
— в 2025 уже начали решать серьёзные олимпиады вроде IMO, где можно сказать, что профессионал-математик за 10 минут не справится, но за пару часов по идее должен.
То есть довольно устойчиво график показывал 10x времени в год. И вот в 2026-м мы получаем решения сотен открытых проблем, в том числе одной из задач тысячелетия и массы задач, над которыми профессионалы думали очень долго.
Никак нельзя сказать, что поиск, скажем, примера несофической группы или доказательства гипотезы о двойном покрытии циклами — это задача на 15-20 часов работы математика-профессионала. То есть в этих единицах прогресс внезапно довольно резко ускорился (ну и, собственно, его измерение в этих единицах теперь потеряло смысл). Не буду утверждать, что это что-то серьёзное значит сверх конкретного наблюдения, но любопытно.
Ещё раз спасибо Николаю Николаевичу и другим коллегам за приглашение! Напоминаю, что к докладу есть и extended abstract, который можно скачать со странички конференции; вот прямая ссылка на pdf:
Vibemathed: the AI takeoff in mathematics — Sergey Nikolenko
#talks #events #ai #math