Математики призвали бойкотировать OpenAI после 700 ИИ-доказательств за раз

Более 700 математических рукописей, написанных ИИ, OpenAI выложила одновременно. Через сутки компания отозвала три из них: в доказательствах нашлась ошибка знака. Association for Human Mathematics ответила призывом к бойкоту OpenAI. Лауреат Филдсовской премии Терренс Тао заявил, что массовая «уборка урожая» открытых проблем может оставить целые ветви математики менее плодородными.

Что произошло

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

Ошибка знака в трёх работах показала, где узкое место. Сгенерировать правдоподобное доказательство можно быстро. Чтобы убедиться, что оно верно, нужно сверить каждый шаг, а на это уходят человеко-часы. Откуда в публикации взялись именно эти три ошибки и как проверялись остальные работы, в исходных материалах не сказано.

Название ассоциации говорит само за себя: она отстаивает математику, которую делают люди. Бойкот в её формулировке направлен против OpenAI как компании, а не против инструментов ИИ вообще.

Аргумент Тао: истощение почвы

Позиция Тао интереснее, чем простая тревога за качество. Он говорит не о том, что ИИ ошибается. Его беспокоит, что ИИ справляется слишком массово. Открытые проблемы в математике — ограниченный ресурс. Каждая из них служит точкой роста: вокруг трудной задачи годами складываются методы, школы и целые подполя. Если систему запустить на всё подряд и «снять» решения с задач, до которых она дотягивается, молодые исследователи теряют материал, на котором учатся и строят карьеру.

Тао описывает это словом harvesting, то есть сбор урожая. Если задачи убрать с поля, не вырастив вокруг них новую теорию, останется голая земля. Решение может оказаться верным, но понимания, которое обычно приходит вместе с ним, у сообщества не прибавится.

Ключевые факты истории:

• Объём: более 700 рукописей, опубликованных единовременно.
• Отзыв: три работы отозваны на следующий день.
• Причина отзыва: ошибка знака.
• Реакция сообщества: Association for Human Mathematics объявила о призыве к бойкоту OpenAI.
• Главный довод Тао: массовое решение открытых проблем истощает «плодородность» разделов математики.

Как с этим работать журналам и исследователям

История показывает конкретные практические вопросы, которые теперь придётся решать.

Первое: формальная верификация. Если доказательство машинное, разумно требовать к нему проверяемый формальный артефакт, а не только PDF. Ошибка знака в такой системе ловится автоматически, а не усилиями рецензента.

Второе: маркировка происхождения. Журналам и архивам нужны чёткие правила: кто автор, какую часть сделала модель, кто несёт ответственность за ошибки. Без этого отзыв работы превращается в репутационную проблему для всей области.

Третье: лимиты на пакетные публикации. Семьсот текстов за раз не рассмотрит ни один редколлегиальный процесс. Сообществу придётся договариваться о темпе, который сопоставим с возможностями проверки.

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

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