В научном мире произошло событие, которое многие уже называют переломным моментом в истории человеческой мысли. Корпорация OpenAI официально объявила о прорыве: их внутренняя разработка смогла найти решение уравнений Навье — Стокса. Это одна из семи знаменитых «задач тысячелетия», статус которой в академической среде сопоставим с поиском святого Грааля.
Суть проблемы, сформулированной еще в девятнадцатом столетии, заключается не в непонимании физики процессов, а в вопросах точности. Как отмечает ректор университета Иннополис, Александр Гасников, человечество давно научилось описывать движение воды и воздуха, но ученые до сих пор не имели гарантий, что эти математические модели всегда остаются корректными и предсказуемыми. По словам Гасникова, эта задача стоит в одном ряду с гипотезой Римана и проблемой P и NP, а ее решение могло бы принести миллион долларов от Института Клэя.
Сами «задачи тысячелетия» — это список из семи фундаментальных проблем, утвержденный в Париже в 2000 году. С тех пор человеческий разум смог преодолеть лишь одну преграду — гипотезу Пуанкаре, доказанную российским математиком Григорием Перельманом. Остальные вопросы, включая теорию вычислительной сложности и алгебраическую геометрию, по-прежнему ждут своих героев.
Однако в этот раз героем стал алгоритм. Искусственный интеллект не просто помог ученым, он фактически завершил их многолетнюю работу, перебрав варианты быстрее, чем это под силу любому человеку. Иван Оселедец, возглавляющий институт AIRI, поясняет, что ИИ решил не само уравнение, а проблему его применимости. Речь идет о выявлении критических моментов — так называемых сингулярностей. Представьте процесс закручивания кофе в стакане: в определенный момент возникает вихрь, который, согласно математической модели, должен «взорваться», разлетевшись в бесконечность. На практике такого не происходит, а значит, уравнения требуют уточнения.
Техническая сторона триумфа OpenAI поражает масштабами. Для достижения результата была задействована армия из 10 тысяч автономных агентов. Процесс занял всего 88 часов активного поиска, после чего еще 17 часов ушло на строгую формальную проверку через язык программирования Lean. В ходе этого «цифрового штурма» агенты обменялись почти пятью миллионами сообщений, переработав колоссальный объем данных — около 130 миллиардов токенов.
Этот успех вызвал в научном сообществе бурю эмоций — от восторга до глубокой тревоги. Профессор ВШЭ Юлий Ильяшенко подчеркивает, что ИИ уже не просто помогает, а претендует на роль ведущего исследователя. В то же время знаменитый математик Теренс Тао выразил опасение: если машины будут решать задачи без участия человека, само понимание предмета может атрофироваться.
Он сравнил это с тренировкой в спортзале, где вместо того, чтобы поднимать веса, вы просто наняли робота, который делает это за вас.
Для молодых ученых наступает время больших перемен. Николай Андреев из Института им. Стеклова предполагает, что роль «математиков среднего звена» может исчезнуть — ИИ заберет на себя рутинную проверку гипотез. В будущем науке могут понадобиться лишь те «великие», способные генерировать принципиально новые идеи, которые машина еще не в состоянии осознать.
Не обошлось и без скандала. Параллельно с OpenAI свои наработки представили исследователи из Нью-Йоркского университета и компании Anthropic. В OpenAI заявили, что их решение было спровоцировано слухами о чужом успехе, и предложили признать первенство коллег, при этом отрицая использование чужих данных. Хотя эксперты отмечают, что подходы команд существенно различаются, тень возможной «кражи» идеи в эпоху стремительного развития ИИ стала неотъемлемой частью научной дискуссии.
