В научном сообществе назревает серьезный конфликт вокруг интеллектуальной собственности. Профессор Нью-Йоркского университета Тристан Бакмастер публично заявил о подозрениях в адрес OpenAI: он полагает, что технологический гигант мог использовать его уникальные наработки для штурма одной из «задач тысячелетия». Речь идет о сложнейшей проблеме существования и гладкости решений уравнений Навье — Стокса.
История конфликта началась с амбициозного прорыва ученых. 8 сентября Бакмастер и его коллега Левент Алпёге, работающий в Anthropic, представили миру три важных достижения: они доказали факт «взрыва» за конечное время при наличии гладкой внешней силы для уравнений Эйлера, Буссинеска и пористой среды. Математики также признались, что вплотную подошли к решению проблемы уравнений Навье — Стокса, но взяли паузу, чтобы подтвердить свои выкладки через систему проверки Lean. При этом Бакмастер не скрывал, что в процессе работы применял инструменты искусственного интеллекта.
Однако уже 6 сентября представители OpenAI связались с профессором с неожиданными новостями. По словам Бакмастера, в компании заявили, что их внутренняя нейросеть уже нашла доказательство «взрыва» для тех же уравнений Навье — Стокса, причем использовав именно ту стратегию, которую ученые с Алпёге «тихо выбрали для атаки». Услышанное математик назвал «ярко-красным флагом», подчеркнув, что почти никто в его окружении не работал в этом направлении.
Сначала Бакмастеру пытались преподнести этот успех как результат работы ИИ с «минимальным участием человека». Но детали разговора рисовали иную картину: за решением стояла целая команда OpenAI, задействовавшая «безумное количество вычислительных мощностей». Более того, выяснилось, что первый запрос (промпт) в систему был отправлен сразу после того, как сведения о научной работе Бакмастера стали известны в OpenAI. На прямой вопрос о том, не обучалась ли модель на черновиках профессора, загруженных в систему OpenAI Codex, разработчики ответа не дали.
Предложение, сделанное Бакмастеру, и вовсе напоминало попытку урегулирования в стиле «под ковром». Ему предложили выбор: либо он с коллегой публикуют свои результаты, а OpenAI — свои на следующий день, либо Бакмастер пишет статью о триумфе OpenAI в одиночку. При этом представитель компании дважды настаивал на том, чтобы Левент Алпёге был исключен из списка соавторов. Когда же профессор пригрозил вынести этот инцидент на всеобщее обозрение, ему ответили прямой угрозой:
Зачем вам губить свою карьеру?
Несмотря на драматизм ситуации, Бакмастер подчеркивает, что не видел само доказательство от OpenAI и не делает прямого обвинения в краже данных. Он лишь фиксирует факты: что, когда и какие предложения ему поступали.
Сама же OpenAI 9 сентября официально объявила о победе: их ИИ-модель якобы решила одну из семи легендарных «задач тысячелетия». В компании заявляют, что возможности системы, справившейся с уравнениями Навье — Стокса, на порядок выше, чем у передовой GPT-6 Astra. Процесс был колоссальным: для решения задачи одновременно трудились около 10 тысяч агентов, часть из которых искала доказательство, а часть — опровержение. В процессе работы 5 сентября было обработано 2,7 млн сообщений и использовано 130 млрд токенов — это сопоставимо с объемом миллиона книг. На формализацию и проверку результата ушло еще 17 часов.
