Как ИИ решил задачу тысячелетия: Навье-Стокс, драма, 10000 агентов - Нейросети/Интеллект/AI/ИИ

Все нейросети в одном месте без VPN и зарубежных карт qiper.ru - Нейросети/Искусственный Интеллект/AI/ИИ 00:00:00 Сенсация в математике OpenAI опубликовал шестистрочное доказательство одной из семи задач Тысячелетия Задачи касаются существования гладких решений уравнений поступления токсинов, описывающих погоду, турбулентность и движение жидкостей Результат неожиданный: решения уравнений могут «взорваться», достигнув бесконечности за конечное время 00:00:58 Конфликт и слухи Ходили слухи, что OpenAI украла работы математиков и оказывала на них давление Некоторые сомневаются в вкладе искусственного интеллекта Обсуждается важность результата и его влияние на математику 00:01:45 История уравнений Навье — Стокса Клод-Луи-Мари-Андре-Ньеве разработал уравнения для движения жидкости в 1822 году Джордж Габриель Стокс независимо вывел аналогичные уравнения в 1845 году, рассматривая жидкость как непрерывную среду Уравнения описывают движение жидкости и её взаимодействие с окружающей средой 00:02:46 Структура уравнений Навье — Стокса Неизвестные в уравнениях — скорость в каждой точке и давление Уравнения основаны на втором законе Ньютона и включают нелинейный член, описывающий передачу импульса жидкости Нелинейность приводит к турбулентности и труднопредсказуемым явлениям 00:04:45 Приближённые решения Уравнения Навье — Стокса почти никогда не решаются аналитически Инженеры и математики находят приближения решений, разбивая пространство на сетку и вычисляя значения скорости и давления в узлах Численное прогнозирование погоды началось в 1950 году с расчётов на компьютере ENIAC 00:06:33 Вопрос существования решений Математиков интересует, при каких условиях решение существует и остаётся плавным Плавное начальное условие — это когда скорость жидкости меняется плавно без скачков Вопрос остаётся открытым: может ли поток оставаться плавным всегда или какая-то часть жидкости может разогнаться до бесконечной скорости? 00:07:30 Прорывы в решении задачи Жан Лере показал, что решение существует для любого момента времени, но оно может быть не гладким и не единственным Ольга Ладыженская решила двумерную задачу, доказав, что плоские потоки никогда не взрываются В трёхмерном пространстве вихри могут растягиваться, создавая мелкие структуры, которые вязкость пытается сгладить 00:08:29 Ограничения и премия Тысячелетия Терон Стаут показал, что контроль кинетической энергии не гарантирует отсутствия сингулярности Математический институт Клэя включил трёхмерную задачу в число семи задач Тысячелетия в 2000 году Приз в миллион долларов за решение задачи 00:09:29 Формулировки задачи Клэя Институт Клэя предлагает четыре формулировки задачи с разными условиями Вариант А: доказательство гладкости трёхмерного течения в бесконечном пространстве без внешней силы Вариант В: доказательство гладкости на торе в периодическом поле Вариант С: поиск решения с плавными начальными условиями и внешней силой, приводящего к сингулярности Вариант D: поиск неустойчивости на торе 00:10:28 Асимметрия условий Варианты A и B требуют нулевой внешней силы, C и D — плавной Доказательство OpenAI охватывает варианты C и D, случай A и B остаётся открытым Для вариантов C и D достаточно одного контрпримера 00:11:06 Принцип решения Жидкость закручивается в столб под действием плавного усилия Вращающееся ядро становится тоньше и вращается быстрее Максимальная скорость стремится к бесконечности, но общая энергия остаётся конечной 00:12:03 Роль внешней силы Ядро вихря окружено мелкой рябью, которая поглощает часть силы Внешняя сила подаётся короткими импульсами с исчезающе малой амплитудой Основная работа выполняется самой жидкостью, усиливающей крошечные толчки 00:13:03 Роль искусственного интеллекта OpenAI использовал массовый поиск с 10 000 агентов Агенты исследовали тысячи возможных путей одновременно Вычислительные затраты составили от 15 до 22 миллионов долларов 00:14:58 Сравнение с другими достижениями Подход OpenAI напоминает решение проблемы четырёх красок и шахматный матч Deep Blue Отличие: агенты предлагают конструкции и идеи, а не проверяют комбинации 00:16:20 Начало решения Испанские математики Диего Кордоба и Луис Мартин Сосаро предложили стратегию каскада слоёв Тристан Бакмастер и Левант Альпоже продолжили исследования К августу 2026 года были доказаны существование гладкой четырёхмерной сингулярности для уравнений Эйлера и Буссинеска 00:17:20 Развитие событий OpenAI объявила о начале поиска решений задач тысячелетия Агенты построили сингулярность к 5 сентября Бакмастер дважды звонил в OpenAI, включая Себастьяна Бубака 00:18:19 Доказательство взрыва для уравнений Навье — Стокса Тристан узнал, что OpenAI уже имеет доказательство взрыва для уравнений Навье — Стокса с силой 00:19:17 Конфликт интересов и обвинения 00:20:10 Реакция математиков и вопросы доверия 00:21:09 Цели математики и индустрии 00:22:43 Значение доказательства для математиков и инженеров 00:24:30 Итоги и выводы