🧮 Математики против OpenAI

The Verge собрал в одну хронику всю драму вокруг того, как ИИ врывается в математику. Коротко — о главном.

Гонка идёт не первый месяц. OpenAI, Anthropic и другие лаборатории отчитываются о решениях давних задач, причём порой результаты превосходят то, чего от ИИ ждали сами математики. В начале августа OpenAI показала решения десяти многолетних проблем — над некоторыми бились десятилетиями. А в сентябре заявила, что справилась с задачей Навье — Стокса о течении жидкостей и газов. Это одна из семи «задач тысячелетия» с призом в $1 млн, и её не могли решить около 90 лет. Работала внутренняя модель мощнее GPT-6 Astra вместе с 10 000 параллельных агентов. Забирать приз компания не планирует.

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

Дальше — обвинения в перехвате чужих результатов, вопросы о происхождении обучающих данных и тихие правки уже опубликованных документов. В The Verge суть конфликта сформулировали так: математики хотят развивать науку, а OpenAI хочет побеждать.

Попыткой навести мосты стала независимая группа AGMAI из девяти ведущих математиков: она будет советовать ИИ-компаниям, как проверять и подавать новые результаты. Её участник Мартин Хайрер подчёркивает, что денег от OpenAI группа не получает. Но напряжение только растёт: OpenAI утверждает, что её закрытая модель уже решила больше 100 давних задач, и готовит их к публикации.

@droidergram