[Кто решил задачу? Как с «этим» жить?] «Задача тысячелетия» решена: десять тысяч ИИ-агентов, плагиат и миллион долларов

отметили
16
человек
в архиве

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

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

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

Похоже, и миллион за вторую решённую проблему останется без счастливого обладателя. Но обо всём по порядку.

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

В OpenAI объявили, что доказали: да, уравнения могут ломаться, жидкость в такой модели можно разогнать до бесконечной скорости. Решение было получено внутренней моделью, которая «значительно превосходит» публичную GPT-6 Astra.

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

Профессор Тристан Бакмастер / Сайт Института Макса Планка
 
Так кто решил задачу: люди или ИИ-агенты?

Анонсу OpenAI предшествовала драматическая закулисная борьба.

В начале сентября 2026 года в OpenAI узнали, что какие-то математики подобрались к разгадке проблемы, используя модели Anthropic, компании-конкурента, — и срочно собрали свою команду математиков, чтобы попробовать опередить соперников.

7 сентября профессор математики Нью-Йоркского университета Тристан Бакмастер и работающий в Anthropic математик Левент Алпёге опубликовали работу, в которой доказали сингулярность для упрощённого случая (жидкости без вязкости), задействовав Claude от Anthropic. Это ещё не решение проблемы, но важный шаг к нему.

Узнав об этом, OpenAI бросила в бой беспрецедентные вычислительные мощности. Чтобы обойти конкурентов и замахнуться на полную версию уравнений Навье — Стокса, сначала упрощённую задачу в течение 50 часов штурмовала 1 тыс. ИИ-агентов. А потом, чтобы решить полную версию задачи, эту группировку расширили до 10 тыс. агентов, которые домучили проблему всего за 88 часов. Целый монгольский тумен ИИ-агентов!

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

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

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

Нет, возмущается Тристан Бакмастер, — это плагиат и воровство результатов, над которыми они с Алпёге работали целый год! Учёный пишет: в лапы ИИ-агентов, возможно, попали его черновики, потому что они создавались вместе с Codex — ИИ-агентом для программирования, разработанным OpenAI. Что, если эти агенты обмениваются друг с другом данными пользователей? Уж слишком их подход к решению проблемы похож на наработки Бакмастера и Алпёге, по мнению этих исследователей.

Визуализация уравнения Навье — Стокса / Wikimedia Commons

Как теперь жить

OpenAI не спорит: организация начала эксперименты после слухов, что решение вот-вот будет найдено. По заявлению компании, её сотрудники и ИИ-агенты не видели неопубликованных материалов. Но обезличенные данные, полученные от Codex, могли повлиять на обучение моделей.

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

Теперь слово за другими математиками — им придётся проверить не только точность, но и оригинальность решения: насколько оно является плагиатом.

Как бы там ни было, этот спор не сводится к выяснению научного приоритета и того, кто получит $1 млн (в OpenAI пишут, что в любом случае от миллиона откажутся, они за такой мелочёвкой не гоняются). Научному сообществу предстоит выработать критерии авторства и другие этические правила при совместной работе человека и нейросетей. А то ведь может получиться так: вы разрабатываете что-то новаторское с помощью ChatGPT, а OpenAI сможет использовать ваши наработки, чтобы сделать продукт, над которым вы работали год, за каких-нибудь 88 часов.

Добавил suare suare 13 Сентября
Дополнения:
13 сент., 04:42 Nacvark
Ведущие математики полагают, что ИИ воспользовался их наработками для решения «задач тысячелетия»
Десятки математиков подписали письмо, отражающее их спор с OpenAI
 
Между OpenAI и математическим сообществом стремительно обостряется конфликт. Поводом стала серия громких заявлений компании о прорывах в решении сложнейших задач, включая одну из так называемых «задач тысячелетия». Эти достижения, достигнутые с помощью мощных ИИ-моделей и тысяч агентов, вызвали не только восхищение, но и резкую критику со стороны учёных, которые усомнились в прозрачности и этичности подобных результатов.
 

Источник изображения: ChatGPT

Центральной фигурой конфликта стал математик Тристан Бакмастер, заявивший, что компания могла воспользоваться наработками его команды при создании собственного доказательства. По его словам, исследователи работали над схожим подходом к решению задачи, а затем неожиданно столкнулись с тем, что OpenAI представила полноценный результат раньше них. В академической среде это вызвало подозрения в возможном использовании данных пользователей или идей, полученных в ходе работы с ИИ-инструментами, хотя сама компания отрицает прямое заимствование.

Ситуация усугубилась после публикации открытого письма, подписанного десятками ведущих математиков, включая лауреатов престижных премий. В документе учёные предупреждают, что гонка между технологическими компаниями за первенство в решении фундаментальных задач подрывает научные принципы – от корректного цитирования до полноценной проверки результатов. По их мнению, многие открытия объявляются слишком поспешно, без достаточного анализа и объяснения, что ставит под угрозу саму культуру математических исследований.

Дополнительное напряжение возникло и на институциональном уровне: OpenAI отказалась от участия в одном из математических мероприятий после критики со стороны академического сообщества.

Источник: techcrunch.com
 
 
Вы написали слово «перевод». Я готов помочь вам, но мне нужно чуть больше деталей, чтобы понять вашу задачу.
Вы можете использовать популярные онлайн-сервисы, такие как Яндекс Переводчик, Google Переводчик или DeepL, либо я сам могу перевести ваш текст прямо здесь.
Пожалуйста, уточните ваш запрос:
  • Если вам нужно перевести текст, просто пришлите его мне и укажите язык (например, с английского на русский).
  • Если вы имели в виду денежный перевод, напишите, между какими банками или странами вы хотите отправить средства.
  • Если вас интересует значение термина или что-то другое, конкретизируйте тему.
 
Вот перевод представленного текста на русский язык.
 
Math and AI.DeclarationEndorsers
A Severe Misalignment of AI in Mathematics

Over the last few months, the mathematical capabilities of LLMs have improved dramatically, to the point that they can solve major outstanding problems in many fields of mathematics. However, the push by AI companies to solve mathematical problems as a benchmark is detrimental to the science of mathematics, and to the mathematical community. The goals of the AI companies and the goals of the mathematical community are severely misaligned. We see these as part of broader alignment issues impacting other scientific and creative professions, as well as the whole of society.

Research mathematics deals with understanding basic structures of shapes, numbers, and natural phenomena. Over the course of generations, it has built a large corpus of sophisticated ideas, methods, abstractions, and other tools to comprehend the mathematical landscape. In turn, modern technologies and sciences are based on mathematical tools.

Famous problems have often served as landmarks and lighthouses against which one can measure an improved understanding of this landscape. Solving one of these problems has been a certain sign of new insights and interesting methods, which would then be studied by a community of mathematicians, through a long and arduous process of talks, discussions, simplifications. At the end of this process, one will ideally find a textbook presentation of the results suitable for any graduate or even undergraduate student to study. Some of the mathematical ideas pursue their journey even further to become, decades or centuries after, tools that are understood and used by the whole population.

The mathematical community functions, in many ways, as a miniature version of humanity. It consists of individuals using a wide variety of different approaches, joined by core values. The most precious resources of our profession are students and ideas, and these we nurture with great care. We feel responsible to let them grow to their full potential, until they can live a life of their own in the mathematical world. For students we often suggest problems with the core intention of developing skills making them well-positioned for advances in research and elsewhere. Our ideas we disseminate in talks, private discussions and careful writeups, connecting them to the previous ideas of others. These processes invariably take time and are based on human interaction.

In recent months, the success of AI in solving major mathematical problems has made headlines even outside mathematical circles. But solving problems is only a tool and proxy for achieving the primary goal of conceptual understanding and insight. Forgetting this in the world of AI may turn the tool against the primary goal. Indeed, the mass production at faster and faster pace of «true/false» statements could destroy fertile ground instead of breathing life into new ideas.

Often these solutions are announced in a rush, leaving no time for a proper writeup, the isolation of new methods and ideas, and citing relevant previous work of others. As in all creative professions, this raises severe attribution and plagiarism questions. Moreover, without the willing mathematicians who must take care of their development and integration into the mathematical canon, AI-conceived ideas would never become fully alive and the crucial human transmission chain between mathematicians would be lost.

We are witnessing a general threat to intellectual work, with misalignment between the outcome of the use of AI and its initial purpose. In many fields and activities, years of training have traditionally served not only to produce a final answer or product, but also to develop understanding and the ability to formulate new questions and ideas. However, building on a vast body of previous human work, AI systems are becoming increasingly capable of producing the results of such work directly, and these goals cease to align. The issues the mathematical community faces now are similar to issues that other scientific and creative professions are facing, and indicate issues that all of humanity might face: how to make sure that, as AI changes the way work is done, we do not lose sight of what that work was meant to achieve in the first place.

AI offers the potential of enhancing and accelerating genuine mathematical study and understanding. Mathematics as a profession will need to adapt to these changes in several ways. However, whether these changes ultimately benefit the field or have a destructive effect will in large part be determined by the decisions of the humans in control of this new technology.

These issues must be addressed urgently, in the mathematical community, by the companies developing these technologies and, more broadly, by a society that will confront similar problems in many other forms of intellectual work.

Artur Avila (Fields Medal 2014)
Manjul Bhargava (Fields Medal 2014)
Caucher Birkar (Fields Medal 2018)
Pierre Deligne (Fields Medal 1978)
Yu Deng (Fields Medal 2026)
Simon Donaldson (Fields Medal 1986)
Hugo Duminil-Copin (Fields Medal 2022)
Alessio Figalli (Fields Medal 2018)
Martin Hairer (Fields Medal 2014)
June Huh (Fields Medal 2022)
Maxim Kontsevich (Fields Medal 1998)
Elon Lindenstrauss (Fields Medal 2010)
Pierre-Louis Lions (Fields Medal 1994)
James Maynard (Fields Medal 2022)
Curtis McMullen (Fields Medal 1998)
Shigefumi Mori (Fields Medal 1990)
Ngô Bảo Châu (Fields Medal 2010)

 
Серьезное рассогласование ИИ в математике
 
За последние несколько месяцев математические способности больших языковых моделей (LLM) резко улучшились — вплоть до того, что они могут решать важнейшие нерешенные проблемы во многих областях математики. Однако стремление ИИ-компаний использовать решение математических задач в качестве бенчмарка (теста производительности) наносит вред математической науке и математическому сообществу. Цели ИИ-компаний и цели математического сообщества серьезно расходятся. Мы рассматриваем это как часть более широких проблем согласования (alignment), которые затрагивают другие научные и творческие профессии, а также общество в целом.
 
Исследовательская математика занимается пониманием базовых структур форм, чисел и природных явлений. На протяжении многих поколений она создавала огромный корпус сложных идей, методов, абстракций и других инструментов для осмысления математического ландшафта. В свою очередь, современные технологии и науки опираются на математические инструменты.
 
Знаменитые проблемы часто служили ориентирами и маяками, по которым можно было измерить уровень понимания этого ландшафта. Решение одной из таких задач было верным признаком появления новых открытий и интересных методов, которые затем изучались математическим сообществом в ходе долгого и трудного процесса докладов, дискуссий и упрощений. В конце этого процесса в идеале появляется учебное изложение результатов, подходящее для изучения любым аспирантом или даже студентом бакалавриата. Некоторые математические идеи продолжают свой путь еще дальше, становясь спустя десятилетия или столетия инструментами, которые понимает и использует все население.
 
Математическое сообщество во многом функционирует как человечество в миниатюре. Оно состоит из людей, использующих самые разные подходы, но объединенных общими ценностями. Самые ценные ресурсы нашей профессии — это студенты и идеи, и мы взращиваем их с большой заботой. Мы чувствуем ответственность за то, чтобы дать им развиться в полную силу, пока они не смогут жить собственной жизнью в математическом мире. Студентам мы часто предлагаем задачи с главной целью — развить навыки, которые помогут им продвинуться в исследованиях и других сферах. Свои идеи мы распространяем в докладах, частных дискуссиях и тщательно подготовленных статьях, связывая их с предыдущими идеями других ученых. Эти процессы неизбежно требуют времени и строятся на человеческом взаимодействии.
 
В последние месяцы успехи ИИ в решении крупных математических задач попали в заголовки газет даже за пределами математических кругов. Но решение задач — это лишь инструмент и средство для достижения главной цели: концептуального понимания и глубокого осмысления. Если забыть об этом в мире ИИ, инструмент может обернуться против самой цели. Действительно, массовое производство истинных или ложных утверждений во все более ускоряющемся темпе может уничтожить плодородную почву вместо того, чтобы вдохнуть жизнь в новые идеи.
 
Часто об этих решениях объявляется в спешке, не оставляя времени на полноценное описание, выделение новых методов и идей, а также на цитирование соответствующих предшествующих работ других авторов. Как и во всех творческих профессиях, это порождает серьезные вопросы об авторстве и плагиате. Более того, без участия математиков, готовых взять на себя развитие и интеграцию этих идей в математический канон, концепции, рожденные ИИ, никогда не оживут по-настоящему, а важнейшая человеческая цепочка передачи знаний между математиками будет утеряна.
 
Мы наблюдаем общую угрозу для интеллектуального труда, когда результат использования ИИ расходится с его первоначальной целью. Во многих областях и видах деятельности годы обучения традиционно служили не только для получения конечного ответа или продукта, но и для развития понимания, а также способности формулировать новые вопросы и идеи. Однако, опираясь на колоссальный объем предшествующего человеческого труда, системы ИИ становятся все более способными выдавать результаты такой работы напрямую, и эти цели перестают совпадать. Проблемы, с которыми сейчас сталкивается математическое сообщество, аналогичны проблемам других научных и творческих профессий. Они указывают на вызовы, с которыми может столкнуться все человечество: как сделать так, чтобы по мере того, как ИИ меняет характер работы, мы не теряли из виду то, ради чего эта работа изначально задумывалась.
 
ИИ обладает потенциалом для расширения и ускорения подлинного математического изучения и понимания. Математике как профессии придется адаптироваться к этим изменениям в нескольких направлениях. Однако то, принесут ли эти изменения пользу науке или окажут разрушительный эффект, во многом будет определяться решениями людей, контролирующих эту новую технологию.
 
Эти вопросы необходимо решать безотлагательно — внутри математического сообщества, компаниями, разрабатывающими эти технологии, и, в более широком смысле, обществом, которое столкнется с аналогичными проблемами во многих других формах интеллектуального труда.
 
Артур Авила (Филдсовская премия 2014)
Манджул Бхаргава (Филдсовская премия 2014)
Кошер Биркар (Филдсовская премия 2018)
Пьер Делинь (Филдсовская премия 1978)
Юй Дэн (Филдсовская премия 2026)
Саймон Дональдсон (Филдсовская премия 1986)
Уго Дюминил-Копен (Филдсовская премия 2022)
Алессио Фигалли (Филдсовская премия 2018)
Мартин Хайрер (Филдсовская премия 2014)
Джун Ху (Филдсовская премия 2022)
Максим Концевич (Филдсовская премия 1998)
Элон Линденштраусс (Филдсовская preмия 2010)
Пьер-Луи Лионс (Филдсовская премия 1994)
Джеймс Мейнард (Филдсовская премия 2022)
Если вам нужно, я могу:
  • Оформить перевод в виде файла (например, Markdown или Word)
  • Помочь составить ответное эссе или комментарий к этому манифесту
  • Сделать краткую выжимку (саммари) основных тезисов авторов
Что из этого вас интересует?
Задать вопрос по теме:
Добавил suare suare 13 Сентября
Комментарии участников:
Влад51
+2
Влад51, 13 Сентября , url

Неужели доказали, что скорость жидкости не может быть бесконечной, надо же!



Войдите или станьте участником, чтобы комментировать