В OpenAI объявили, что им удалось решить одну из семи «задач тысячелетия» с помощью ИИ, а профессор математики из Нью-Йоркского университета Тристан Бакмастер обвинил компанию в краже его гипотезы. Об этом пишет издание о стартапах и интернет-бизнесе TechCrunch.

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

К работе над задачей приступили после 1 сентября, когда до компании «дошли слухи» о решении двух из них. Система из 10 тысяч ИИ-агентов нашла первое доказательство 5 сентября примерно через 88 часов после запуска работы. Ещё 17 часов потребовалось на проверку в системе Lean. Как стало известно, ещё раньше решением задачи занялись математики Левент Альпеге из Anthropic (одного из главных конкурентов OpenAI в сфере ИИ) и Тристан Бакмастер.

После объявления OpenAI о решении задачи Бакмастер заявил, что компания использовала результаты его работы с Альпеге до их обнародования. 8 сентября он представил предварительные результаты собственного решения, полученные с помощью моделей искусственного интеллекта Codex и Claude. По словам Бакмастера, математик из OpenAI Себастьян Бубек предлагал ему убрать соавтора из публикации, а затем угрожал. «Если вы не хотите, чтобы я был добрым, я могу и не быть», — якобы предупредил Бубек Бакмастера.

В OpenAI эти заявления отрицают, заверяя, что не были знакомы с работами математиков до их публикации. В компании также сообщили, что предложили им одновременную публикацию результатов и признание их приоритета в новом заявлении.

Примечательно, что к концу года запланирована премьера биографической драмы «Искусственный» про главу OpenAI Сэма Альтмана с Эндрю Гарфилдом и Юрой Борисовым в главных ролях. Борисов сыграл главного научного сотрудника компании Илью Суцкевера — уроженца Горького (ныне — Нижний Новгород), который возглавил бунт совета директоров в компании и должен был уволить Альтмана, чтобы уберечь мир от потенциально опасного ИИ.

На сегодняшний день из семи «задач тысячелетия» решена только одна: гипотеза Пуанкаре, доказанная российским математиком Григорием Перельманом в 2002-2003 годах. В 2006 году Международный математический союз присудил ему золотую медаль Филдса за доказательство гипотезы, однако учёный отказался от награды. В 2010-м Математический институт Клэя присудил Перельману «Премию тысячелетия» в один миллион долларов, однако он отказался и от премии. Сегодня учёный живёт затворником на окраине Санкт-Петербурга, ухаживая за больной матерью. От общения с прессой он отказывается.

В 2026 году должен выйти байопик «Витринный экземпляр» о Григории Перельмане с Марком Эйдельштейном в главной роли.

Фото: кадры из трейлера фильма «Искусственный»/Neon
кадр из фильма «Витринный экземпляр»/»Кинопоиск»
Princeton University
cims.nyu.edu