Возможно, ИИ решил одну из математических задач тысячелетия — проблему Навье-Стокса, пишет Science. Считается, что их решение способно серьезно продвинуть вперед науку и технологии, а еще за них предусмотрена награда в $1 млн. Однако в этот раз возможное достижение вызвало огромное число споров, в том числе и из-за недобросовестного использования.

Уравнения Навье-Стокса описывают движение жидкостей и газов, на них держатся расчеты от кровотока до прогноза погоды. Восемьдесят лет математики пытались понять, всегда ли из нормального начального состояния они дают гладкое решение или в какой-то момент оно может сломаться в бесконечную точку. Новая работа утверждает, что второй вариант возможен. Доказательство проверено на языке Lean, который подтверждает корректность каждого шага автоматически.

OpenAI запустила на задачу около 10 тыс. агентов на своей внутренней более мощной модели и потратила несколько миллиардов токенов, стоимость таких вычислений оценивают в $6 млн. Премию в миллион долларов OpenAI забирать не намерена и подает доказательство как свидетельство скорости прогресса своих систем.

При этом за сутки до объявления решения начался нешуточный спор. Математик Тристан Бакмастер из Нью-Йоркского университета и Левент Альпёге, сотрудник Anthropic, месяцами работали над смежной задачей, используя системы Codex и Claude. Вечером 7 сентября Бакмастер написал, что они приблизились к решению проблемы Навье-Стокса, а уже утром OpenAI опубликовала полное доказательство, использовав тот же подход. Бакмастер публично усомнился, что совпадение случайно, и заявил, что компания использовала его данные и что сотрудники даже добивались исключения Альпёге из числа авторов из-за его работы у конкурента. OpenAI отрицает доступ к данным пары, но говорит, что обезличенные решения математиков могли попасть в модель и улучшить ее.

Пока это лишь первичное заявление. Чтобы действительно получить награду за решение проблемы Навье-Стокса, нужно опубликовать статью в подходящем журнале и дождаться ее проверки учеными в течение двух лет. Только после этого можно будет говорить, что проблема исчерпана. Тем не менее один из ведущих математиков в сфере этих уравнений Теренс Тао считает решения вполне правдоподобными, но критикует сам подход, так как основная ценность создается именно в ходе тестирования гипотез и промежуточных решений, а использование ИИ все эти шаги опускает.
#это_по_ФЭНшую

Изображение из первоначальной статьи OpenAI