ИИ за 88 часов решил задачу тысячелетия
Агенты ИИ нашли решение задачи Навье–Стокса — одной из математических проблем тысячелетия, сообщила компания-разработчик OpenAI. За решение этой и других головоломок из списка полагается миллион долларов, однако несколькими часами ранее о схожем прорыве объявила Anthropic, поэтому приоритет остается под вопросом. Вероятно, премию не получит никто — ведь обещали ее живому интеллекту, а не искусственному.
Уравнения Навье–Стокса описывают движение жидкостей в пространстве — например, поток воздуха над крылом самолета или струю воды из крана. Хотя эти уравнения были записаны около 200 лет назад, они до сих пор до конца не изучены. Вопрос, поставленный Математическим институтом Клэя в рамках задач тысячелетия, заключается в том, чтобы определить, работают ли эти уравнения всегда или есть ситуации, когда они теряют физический смысл — математики называют это «раздутием».
10 000 ИИ-агентов в поисках раздутий
Чтобы ответить на этот вопрос, OpenAI сначала поставила перед 1000 ИИ‑агентов задачу по уравнению Эйлера — «родственнику» уравнений Навье–Стокса, который служит промежуточным этапом на пути к полному решению. Агентам потребовалось 50 часов, чтобы найти раздутия в этом случае. Затем 10 000 агентов были направлены на то, чтобы обобщить эти раздутия на полную задачу Навье—Стокса — на это ушло всего 11 часов.
На пресс‑конференции OpenAI сообщила, что если бы заказчик захотел повторить такое же вычисление, это обошлось бы примерно в $15 млн. В компании не уточнили, какая именно модель ИИ использовалась, но заметили, что она «значительно превосходит» даже их новейшую модель GPT‑6 Astra.
«Эта задача оставалась нерешенной 200 лет, потому что уравнения Навье–Стокса невероятно сложны, а расчеты “на бумаге”, необходимые для ее решения, требуют умопомрачительной точности и усилий», — говорит Венкат Чандрасекаран из OpenAI.
Себастьен Бубек из OpenAI называет эту новость «эффектным сочетанием тенденций, которые мы наблюдали последние 12 месяцев». Действительно, этот результат — последнее из череды ошеломляющих математических открытий, сделанных с помощью ИИ за последние месяцы. В мае модель OpenAI решила многолетнюю гипотезу Пала Эрдёша, вызвав волнение в математическом сообществе. Позже ИИ Claude Fable 5 нашел контрпример к гипотезе якобиана, которая продержалась почти столетие. На прошлой неделе модель ИИ формализовала Великую теорему Ферма всего за 11 дней.
С разницей в несколько часов
Последнее революционное достижение OpenAI произошло всего через несколько часов после того, как профессор Тристан Бакмастер из Нью‑Йоркского университета и Левент Альпёге из компании Anthropic объявили, что решили три значимые задачи, считающиеся «ступеньками» к проблеме Навье–Стокса.
Они показали, что раздутия возможны в уравнениях Эйлера; OpenAI теперь продемонстрировала, что то же самое верно и для Навье–Стокса.
Бакмастер и Альпёге сообщили, что получили «огромную помощь» от больших языковых моделей (LLM), включая модели Anthropic и OpenAI. Однако когда поползли слухи, что OpenAI пошла дальше и решила более общую задачу Навье—Стокса — а компания официально объявила об этом всего через несколько часов, — Бакмастер опубликовал заявление, в котором указал, что OpenAI действовала необычно и непрозрачно, когда он обратился к ним за разъяснениями.
Бакмастер пояснил, что из‑за этих слухов он написал видному математику из OpenAI с просьбой уточнить ситуацию. По его словам, на последующей встрече с сотрудниками OpenAI ему не предоставили конкретных деталей о том, как был получен результат, но то немногое, что он услышал, показалось ему «тревожным сигналом» — поскольку, по его впечатлению, это описывало те же методы и тот же путь, которые он и Альпёге использовали для своих промежуточных результатов.
По утверждению Бакмастера, OpenAI признала, что начала собственный ИИ‑поиск решения, узнав о работе его и Альпёге, и не ответила на вопросы о том, обучалась или донастраивалась ли их модель на этих наработках — которые хранились в модели Codex от OpenAI, и у компании теоретически был к ним доступ. Бакмастер и Альпёге использовали Codex как клиенты, а не как исследовательские партнеры, поэтому они ожидали, что их работа останется защищенной и конфиденциальной.
И все-таки — кто получит миллион?
Вместе с тем, профессор подчеркнул, что воздерживается от каких бы то ни было обвинений — для него важно, чтобы внимание было сосредоточено на математике, а не на скандалах и интригах.
OpenAI категорически отрицает, что использовала в своей работе доказательство Бакмастера и Альпёге или их промпты. Компания также уверяет, что доказательство для уравнений Эйлера, полученное их моделью, отличается от предложенного Бакмастером и Альпёге.
Доказательство еще будет изучаться продолжительное время — сгенерированные ИИ математические решения, в отличие от человеческих, довольно трудны для понимания. Решение вопроса о премии также может затянуться, предупредили в Математическом институте Клэя.
