Скачать или смотреть Как искусственный интеллект Google DeepMind завоевал серебро на математической олимпиаде

🎲 БЕСПЛАТНЫЙ курс по машинному обучению:
https://compu-flair.com/physics-inspi...

🚀 Подайте заявку на наш буткемп:
https://compu-flair.com/bootcamp

В этом видео мы рассмотрим, как системы искусственного интеллекта Google DeepMind достигли уровня серебряной медали на Международной математической олимпиаде (IMO) и почему этот результат намного значимее, чем просто оценка на конкурсе. В видео объясняется, почему задачи математической олимпиады уникально сложны, где даже одна логическая ошибка означает полный провал, и почему это выявляет слабые стороны стандартных языковых моделей. Вводится идея принуждения ИИ к работе в рамках строгой формальной системы, где каждый шаг решения должен быть проверен, а не просто казаться правдоподобным. Вы узнаете, как математические рассуждения могут быть представлены как последовательность допустимых шагов, управляемых обратной связью, а не догадками. В ходе обсуждения затрагивается вопрос о том, как поиск, обучение на ошибках и формальная проверка доказательств работают вместе, чтобы предотвратить галлюцинации. Геометрия и алгебра рассматриваются по-разному, что подчеркивает необходимость специализированных систем. В целом, видео показывает, как сочетание исследования с жесткими логическими правилами позволяет машинам достигать выдающихся результатов, сравнимых с результатами человека, без решений, написанных человеком.

📚 Благодарности и ссылки:
Вот версия с кратким описанием каждой ссылки:
• Блог DeepMind: ИИ решает задачи IMO на уровне серебряной медали – [https://deepmind.google/blog/ai-solve...](https://deepmind.google/blog/ai-solve...)
• Lean Proof Assistant – [https://lean-lang.org](https://lean-lang.org)
• Обзор Международной математической олимпиады – [https://en.wikipedia.org/wiki/Interna...](https://en.wikipedia.org/wiki/Interna...)
• Краткое содержание статьи AlphaProof – [https://www.julian.ac/blog/2025/11/13...](https://www.julian.ac/blog/2025/11/13...)
• Блог DeepMind: Аналитические материалы AlphaZero о шахматах, сёги и го – [https://deepmind.google/blog/alphazer...](https://deepmind.google/blog/alphazer...)

📺 Разделы
00:00 - ИИ достиг серебряного уровня Международной математической олимпиады (IMO)
00:39 - Языковые модели не могут доказать математику
01:45 - Бесплатные курсы по машинному обучению
02:21 - Почему IMO уникальна Сложно
03:06 - Неформальные рассуждения против формальных доказательств
04:47 - Обеспечение математической истинности с помощью Lean
05:58 - Поиск доказательств в стиле AlphaZero
09:18 - Узлы ИЛИ против УЗЛОВ И в деревьях доказательств
10:07 - Масштабирование поиска доказательств с помощью кэширования
10:44 - Формальная математика из естественного языка
11:22 - Обучение с подкреплением во время тестирования
12:01 - Доказательства геометрии с AlphaGeometry 2
13:22 - Формальная верификация прекращает галлюцинации