Задача столетней давности решена за 88 часов
Уравнения Навье-Стокса описывают движение жидкостей и газов, лежа в основе всего — от океанических течений до потоков воздуха над крылом самолета. Почти столетие математики бились над их фундаментальным поведением, а именно над существованием и гладкостью решений — это одна из «Задач тысячелетия» (Millennium Prize Problem) с призовым фондом в $1 млн, которая оставалась нерешенной 90 лет.
Недавно OpenAI объявила о монументальном прорыве. Внутренняя, еще не выпущенная ИИ-модель взялась за уравнения Навье-Стокса с беспрецедентным масштабом. В этой колоссальной работе были задействованы 10 000 параллельно работающих ИИ-агентов, трудившихся 88 часов подряд.
Только вычислительные ресурсы оцениваются в $10 млн, что привело к созданию плотного доказательства на 165 страницах. Затем GPT-6 Astra формально верифицировала это обширное доказательство еще за 17 часов, подтвердив строгость решения.
Открытие ИИ сосредоточено на «сингулярности за конечное время» (finite-time singularity) — ранее не доказанном явлении, при котором скорость жидкости может стать бесконечной за конечное время. Это озарение разрушает давние представления о поведении жидкостей и обещает революцию в различных областях: от создания гораздо более эффективной аэрокосмической техники до значительно более точного прогнозирования погоды.
Знакомьтесь с моделью, на фоне которой GPT-6 выглядит старой
Сенсационное заявление OpenAI сопровождалось решением задачи Навье-Стокса: прорыв был совершен с помощью невыпущенной внутренней модели. Эта система «значительно способнее», чем GPT-6 Astra, модель, которая была представлена всего четырьмя днями ранее. Анонс от 8 сентября 2026 года фактически сделал новейший релиз OpenAI от 4 сентября устаревшим в одно мгновение.
Сама Astra представляла собой монументальное достижение, которое называли «самой интеллектуальной и согласованной моделью» OpenAI на тот момент. Она представила новый метод рассуждения «рекурсивной глубины» (recurrent depth), обеспечив передовую производительность в требовательных тестах, таких как FrontierMath. Astra продемонстрировала беспрецедентное мастерство в качестве «компьютерного оператора», освоив сложные задачи в областях от разработки программного обеспечения до кибербезопасности и научных исследований.
Такое быстрое устаревание подчеркивает ошеломляющую скорость развития ИИ. Безымянный преемник, уже «значительно более способный», продолжает активно обучаться. Это означает, что разрыв в производительности между ним и Astra не статичен; он увеличивается с каждым днем, расширяя границы возможностей ИИ с беспрецедентной скоростью.
Гениальность, споры и верификация ИИ
Вокруг заявления OpenAI быстро возникли споры. Математик Тристан Бакмастер из NYU заявил, что OpenAI поторопилась с публичным заявлением после того, как узнала о значительных успехах его команды в решении задачи Навье-Стокса, предположительно используя инструменты разработки самой OpenAI. Это вызвало острые вопросы о доступе к данным и этической конкуренции в научных исследованиях с высокими ставками.
OpenAI ответила отрицанием прямого доступа к конкретным пользовательским данным для получения конкурентного преимущества в данном случае. Они пояснили, что деидентифицированные, агрегированные пользовательские данные способствуют обобщенному улучшению моделей на всех их платформах, что является обычной отраслевой практикой. Это разграничение направлено на то, чтобы отделить индивидуальные пользовательские проекты от более широких системных улучшений.
Помимо споров, сам процесс верификации ознаменовал глубокий сдвиг парадигмы. Продвинутая, неназванная модель создала исчерпывающее 165-страничное доказательство для проблемы существования и гладкости решений уравнений Navier-Stokes, которое GPT-6 Astra затем формально проверила на корректность всего за 17 часов с помощью инновационного рабочего процесса AI-to-AI. Эта быстрая автоматизированная проверка открывает новую эру в области сложной математической верификации, о чем подробнее говорится в таких отчетах, как OpenAI claims it solved elusive math problem with a $1 million prize - The Washington Post.
Нравится статья? Получайте такие каждое утро на почту.
одно письмо в день · отписка в два клика · без сторонних трекеров
Наука больше не является игрой только для людей
Этот прорыв выходит за рамки решения одной из «Задач тысячелетия» (Millennium Prize Problem). Достижение OpenAI сигнализирует о глубоком сдвиге парадигмы: ИИ теперь функционирует не просто как научный ассистент, а как основной движок для открытий (primary discovery engine). В течение 88 часов 10 000 параллельных агентов ИИ работали, генерируя 130 миллиардов токенов для вывода 165-страничного доказательства, что является свидетельством его способности к автономному решению задач.
Уравнения Navier-Stokes, когда-то бывшие абстрактной математической задачей, лежат в основе самой структуры гидродинамики. Их решение открывает путь к ощутимым достижениям во многих областях, от проектирования более эффективных
- самолетов
- автомобилей
- и даже создания более совершенных лекарств путем моделирования кровотока с беспрецедентной точностью.
Эта стремительная эволюция приводит в замешательство даже опытных наблюдателей. Мэтью Берман, размышляя о темпах прогресса, выразил мнение, которое разделяют многие: «Я все еще прихожу в себя после Astra». Его заявление подчеркивает, как экспоненциальный прогресс ИИ, примером которого является система, «значительно более способная», чем GPT-6 Astra, появившаяся всего через четыре дня после релиза Astra, постоянно переопределяет границы возможного, опережая человеческое понимание.
Часто задаваемые вопросы
Какую математическую задачу решил ИИ от OpenAI?
Внутренняя модель ИИ от OpenAI решила проблему существования и гладкости решений уравнений Navier-Stokes, одну из семи «Задач тысячелетия», которая оставалась нерешенной почти столетие.
Что такое GPT-6 Astra?
GPT-6 Astra — это новейшая флагманская модель OpenAI, официально представленная в сентябре 2026 года. Она предназначена для решения сложных задач, таких как разработка программного обеспечения и научный анализ, и была использована для формальной верификации математического доказательства.
Доступна ли новая модель OpenAI для решения задач широкой публике?
Нет. Модель, решившая проблему Navier-Stokes, является внутренней, невыпущенной моделью, о которой OpenAI заявила, что она «значительно более способна», чем GPT-6 Astra, и все еще находится в процессе обучения.
Подала ли OpenAI заявку на получение приза в 1 миллион долларов за решение этой задачи?
Нет. Несмотря на решение одной из «Задач тысячелетия» Математического института Клэя, OpenAI заявила, что не намерена претендовать на приз в 1 миллион долларов.