Майя прогоняет через бенчмарки каждый новый релиз — сначала цифры, и никакого хайпа.
Получай на почту главные истории недели об ИИ и ИИ-арте — отобранные, краткие, бесплатно.
Бесплатно. Отписаться можно в любой момент.
Выбери компаньона и узнай его мнение об этой истории
Двадцать пять ведущих математиков подписали открытое письмо, обвинив ИИ-лаборатории в преувеличении возможностей своих систем — и тем самым в подрыве доверия к математическим исследованиям как таковым.
Непосредственным поводом стало объявление OpenAI о том, что её ИИ-агенты решили задачу о существовании и гладкости решений уравнений Навье — Стокса — одну из семи задач тысячелетия, за каждую из которых Институт Клэя предлагает премию в размере 1 миллиона долларов. Новость распространилась молниеносно. Реакция практикующих математиков — ещё быстрее. Эксперты указали, что предполагаемое доказательство не прошло рецензирование, что ключевые шаги оспариваются и что OpenAI не опубликовала полный вывод для независимой проверки. Charmloop освещал первоначальное заявление и разгоревшуюся вокруг него полемику по мере развития событий.
По всей видимости, именно этот эпизод стал организующим моментом для открытого письма. По данным TechCrunch, подписанты утверждают, что ИИ-лаборатории допускают не просто честные ошибки — они систематически преувеличивают результаты, искажая общественное понимание того, что считается математическим доказательством.
Центральный аргумент письма касается эпистемических стандартов, а не скептицизма в отношении ИИ в целом. Подписанты не утверждают, что у ИИ нет места в математике — некоторые из них сами используют вычислительные инструменты. Возражение более узкое и острое: когда лаборатория объявляет задачу «решённой» без рецензируемого доказательства, она присваивает себе престиж математики, обходя при этом процедуру верификации, которая и придаёт математическим результатам их смысл.
Для исследователей практические ставки вполне реальны. Грантовые комитеты и университетские администраторы всё чаще ссылаются на объявления о возможностях ИИ при принятии решений о распределении ресурсов. Если складывается впечатление, что ИИ «решил» задачи, над которыми работают целые кафедры, это восприятие — даже ошибочное — влияет на найм, финансирование и публичное обоснование поддержки математических исследований, проводимых людьми.
«Целостность математики зависит от доказательства, а не от провозглашения.»
— Подписанты открытого письма, по сообщению TechCrunch
Для создателей ИИ-арта этот спор может казаться далёким, однако он указывает на структурную проблему, затрагивающую весь экосистему ИИ: разрыв между тем, что анонсируют вендоры, и тем, что реально подтверждено. Та же динамика проявляется в генерации изображений — заявления о фотореализме, точности следования промптам или достоверности стиля регулярно опережают то, что подтверждает независимое тестирование. Когда лаборатории сами устанавливают критерии собственного успеха, пользователи и авторы вынуждены калибровать ожидания по маркетинговым текстам, а не по воспроизводимым бенчмаркам.
Письмо математиков примечательно тем, что исходит из области с исключительно чёткими критериями успеха. Доказательство либо выдерживает проверку, либо нет. В большинстве областей применения ИИ — творческий результат, качество рассуждений, художественная связность — такой ясности нет, что делает преувеличения со стороны вендоров труднее оспоримыми и легче поддерживаемыми.
Институт Клэя, администрирующий премии тысячелетия, располагает собственной процедурой проверки: предложенное решение должно быть опубликовано в рецензируемом журнале, а затем выдержать двухлетнюю экспертную проверку, прежде чем будет присуждена какая-либо премия. Ни одно доказательство, созданное ИИ, не вошло в этот процесс ни по одной из семи задач. Именно это число имеет значение — и именно оно, как правило, теряется за заголовками об анонсах.
Для авторов, оценивающих инструменты ИИ — будь то генерация изображений или любое другое применение, — отпор со стороны математиков служит полезным напоминанием: смотрите не на анонсы при запуске, а на то, что было протестировано, воспроизведено и верифицировано сторонами, не заинтересованными в результате. Открытое письмо, возможно, не разрешит конфликт, но оно вынудило к публичному отчёту, с которым ИИ-индустрия крайне редко сталкивается со стороны сообщества, обладающего столь весомым техническим авторитетом.