OpenAI заявила о решении ИИ-агентами одной из семи знаменитых «задач тысячелетия», - проблемы сингулярности в уравнениях Навье-Стокса

В 2000 году американский Математический институт Клэя обратился к выдающимся математикам, чтобы те выбрали семь важных фундаментальных проблем, над которыми математики безуспешно бились много лет. За решение каждой институт назначил премию в миллион долларов. В этом была сознательная историческая отсылка: в 1900 году немецкий математик Давид Гильберт выступил в Париже и сформулировал знаменитые 23 проблемы, которые во многом определили развитие математики XX века. Ровно сто лет спустя Институт Клэя представил новые семь задач — тоже в Париже, в Коллеж де Франс.

С тех пор удалось решить лишь одну из них — Григорий Перельман доказал в 2002 году гипотезу Пуанкаре. Помните, сколько было шума? Тот миллион так и не осчастливил никого - похоже, и этот не осчастливит, - ведь задачу решили нейросети.

Уравнения Навье — Стокса, сформулированные в XIX веке, стали одной из основ гидродинамики. Они описывают движение жидкостей и газов, и постоянно используются на практике: от расчёта потоков воздуха вокруг самолёта до моделирования океанских течений и погоды. Но было неизвестно, всегда ли решения остаются «хорошими» (применимыми к физической реальности и конечными), — или существуют решения с бесконечной скоростью или плотностью, – математические сингулярности.

OpenAI доказали: да, уравнения могут ломаться, жидкость в такой модели можно разогнать до бесконечной скорости.

«Поскольку в реальном физическом мире бесконечная скорость жидкости или газа невозможна, наше доказательство указывает на то, что при определённых экстремальных условиях уравнения Навье — Стокса перестают быть надёжным зеркалом физической реальности», — объяснил сотрудник OpenAI Вен Чандрасекаран.

Анонсу OpenAI предшествовала драматическая закулисная борьба ведущих технологических лабораторий мира. Пишут, что 1 сентября 2026 года в OpenAI узнали, что математики из Гарварда и Нью-Йоркского университета подобрались к разгадке, используя модели Anthropic, компании-конкурента. 7 сентября исследователи Леван Альпоге и Тристан Бакмастер опубликовали работу, где доказали сингулярность для упрощённого случая (жидкости без вязкости), задействовав Claude от Anthropic. Чтобы обойти конкурентов и замахнуться на полную версию уравнений Навье — Стокса, OpenAI бросила в бой беспрецедентные вычислительные мощности. Сначала упрощённую задачу в течение 50 часов штурмовала тысяча ИИ-агентов. А потом, чтобы решить полную версию задачи, эту группировку расширили до 10 000 агентов, которые и домучали проблему. Целый монгольский тумен ИИ-агентов!

За 88 часов работы эта научная армия агентов обменялась почти 3 миллионами сообщений, сгенерировав свыше 130 миллиардов токенов, проверяя гипотезы и выстраивая цепочки рассуждений (стоимость этих вычислений - несколько миллионов долларов).

Итак, если раньше математическую "проблему тысячелетия" мог, если повезет, решить очень необычный человек, например, Григорий Перельман, то сейчас такую проблему решают десять тысяч ИИ-агентов за 88 часов. Вот так теперь делается наука?!

После того как агенты завершили доказательство, OpenAI задействовала нейросеть-верификатор доказательств теорем Lean. За 17 часов Lean все проверил и полностью подтвердил математическую корректность решения. Теперь слово за математиками, они должны проверить не только точность, но и оригинальность решения, - математики из конкурирующих исследовательских групп уже обвинили OpenAI в плагиате.

Dan Dunn, - этим торнадо, снятым вчера утром во Флориде, тоже управляют уравнения Навье-Стокса

Телеграм: t.me/ainewsline

Источник: vk.com

Комментарии: