#067 ML Сергей Николенко. Про ML в математике и перспективы AGI

What this episode covers

В гостях выпуска Сергей Николенко - доктор физико-математических наук, старший научный сотрудник ПОМИ РАН, доцент ФМКН СПбГУ, Head of AI компании Synthesis AI, исследователь в области машинного обучения, в частности глубокого обучения, теоретической информатики и анализа алгоритмов, автор более 200 публикаций в этих и других областях информатики и математики, автор нескольких книг, в том числе бестселлера "Глубокое обучение" (Питер, 2018) и монографии "Synthetic Data for Deep Learning" (Springer, 2021). Почему математики в машинном обучении много, а машинное обучение в математике приходится искать? Могут ли программы перебирать другие программы для решения задач перебором? Почему до сих пор не автоматизировали поиск решений для задач тысячелетия? Решают ли большие языковые модели олимпиадные задачи по математике лучше олимпийцев? Как победить LLM на математической олимпиаде, подсунув ей задачи по геометрии? Можно ли автоматизировать учёного? Что лучшие математики современности думают о модели o1? Могут ли нейросети выводить физические законы? Как понять, что AGI уже здесь? А что делать, если уже здесь? Как написать системный промпт к очередной LLM так, чтобы она не захотела уничтожить человечество? На кого учиться, если кругом все делают роботы? Обо всем этом в выпуске! Ссылки выпуска: Страница Сергея, список публикаций и google scholar: https://logic.pdmi.ras.ru/~sergey/ https://logic.pdmi.ras.ru/~sergey/papers.html https://scholar.google.com/citations?user=_lk95cEAAAAJ Курс по машинному обучению 2023-2024 (сейчас последний семестр): https://logic.pdmi.ras.ru/~sergey/teaching/mlspsu2023.html Курс по машинному обучению 2024-2025 (сейчас первый семестр): https://logic.pdmi.ras.ru/~sergey/teaching/mlspsu2024.html Записи семинара, на котором мы с Сергеем познакомились: Мечтаем ли мы об AGI ( https://www.youtube.com/watch?v=6E8JUchlKSg) Что происходит в AI сегодня ( https://www.youtube.com/watch?v=FGNphH7nw9w) Буду благодарен за обратную связь! Подписывайтесь на телеграм-канал "Стать специалистом по машинному обучению" ( https://t.me/toBeAnMLspecialist) Мой телеграм для связи ( https://t.me/kmsint) Также со мной можно связаться по электронной почте: [email protected] Я сделал бесплатный курс по созданию телеграм-ботов на Python и aiogram на Степике ( https://stepik.org/120924). Присоединяйтесь, если хотите научиться разрабатывать телеграм-ботов! Также в соавторстве с крутыми разработчиками я пишу курс по продвинутой разработке телеграм-ботов с элементами микросервисной архитектуры ( https://stepik.org/a/153850?utm_source=mlpodcast&utm_campaign=ep_67). Выразить благодарность можно добрым словом и/или донатом ( https://www.tinkoff.ru/rm/kryzhanovskiy.mikhail11/NkwE718878/)