ИИ решил задачу тысячелетия. Осталось решить задачу авторства.

В понедельник мы обсуждали, как ИИ за 44 минуты расшифровал послание XVII века. К среде ставки заметно выросли.

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

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

OpenAI утверждает, что доказательство найдено. Для этого компания запустила около 10 тысяч ИИ-агентов, которые работали 88 часов, обменялись 2,7 млн сообщений и сгенерировали примерно 130 млрд токенов. Затем GPT-6 Astra за 17 часов формализовал доказательство в Lean.

На этом месте можно было бы ставить восклицательный знак. Но математика решила немного подождать.

На сайте Clay Mathematics Institute задача пока числится нерешённой. Формальная проверка в Lean подтверждает логическую корректность записанного утверждения, но математикам ещё предстоит убедиться, что оно действительно полностью соответствует условиям задачи.

А дальше началось самое интересное. Математик Тристан Бакмастер из NYU и исследователь Anthropic Левент Алпёге почти год работали над близким направлением при помощи Claude и Codex. Их черновики, по словам Бакмастера, находились в пользовательских сессиях Codex. Когда информация об их прогрессе дошла до OpenAI, компания развернула собственную армию ИИ-агентов. Бакмастер публично поставил вопрос, могли ли их неопубликованные материалы повлиять на внутреннюю модель. При этом он честно уточняет: доказательств такого доступа у него нет и прямых обвинений он не выдвигает.

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

Компания не собирается претендовать на положенную за решение премию в $1 млн. И, похоже, миллион здесь действительно уже не главное.

Если математик загружает неопубликованные идеи в коммерческий ИИ-сервис, а затем владелец этого сервиса выпускает собственное открытие, кому принадлежит результат?

В понедельник ИИ прочитал чужой шифр. К среде возник вопрос, не прочитал ли он заодно и чужие черновики.

Шурыгин.IT - про технологии без иллюзий.