OpenAI опубликовала 700+ ИИ-рукописей по открытым задачам, математики в шоке

OpenAI опубликовала более 700 рукописей, написанных ИИ, в которых заявлены решения открытых математических задач. Один из математических блогов собрал больше 100 откликов исследователей. Среди них есть и восхищение новыми идеями, и экзистенциальный страх, и скорбь по утраченному способу работы. Лауреат Филдсовской премии Hugo Duminil-Copin ответил коротко: «Я парализован».

Что именно произошло

Масштаб здесь важнее любого отдельного результата. Раньше о математических прорывах ИИ сообщали поштучно: одна задача, одно доказательство, одна оговорка о том, как помогали люди. Теперь на стол легли сотни текстов сразу. Каждый претендует на закрытие вопроса, над которым сообщество работало без успеха.

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

Почему реакция получилась такой острой

Реакции в блоге разошлись по всему спектру. Одни исследователи пишут о фасцинации: ИИ предлагает идеи, до которых они не додумались бы. Другие говорят о страхе за профессию. Третьи описывают горе, и это слово показательно. Для математика доказательство ценно не только как результат, но и как путь понимания. Название материала, «Сколько красоты мы потеряли?», бьёт именно в эту точку. Если теорему можно получить конвейером, под вопросом оказывается не истинность, а смысл ручной работы, которая раньше давала профессии идентичность.

Паралич, о котором пишет Duminil-Copin, выглядит не слабостью, а трезвой оценкой. Работа, которая занимала годы, может быть выполнена за часы, и пока непонятно, какой вклад останется за человеком.

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

• более 700 рукописей, сгенерированных ИИ, опубликовано OpenAI;
• заявлены решения открытых математических задач;
• более 100 откликов собрал математический блог;
• реакции: от интереса к идеям до страха и скорби;
• среди откликнувшихся лауреат Филдсовской премии Hugo Duminil-Copin;
• независимая проверка всех рукописей в исходном сообщении не упоминается.

Что делать на практике

Узкое место смещается с генерации идей на их проверку. Это мой анализ, а не заявление авторов, но логика прямая. Математикам и кафедрам стоит заранее решить, кто и по каким критериям будет читать такие тексты. Нужна очередь экспертной верификации, иначе поток рукописей утонет в собственном объёме.

Редакциям журналов придётся выработать политику: принимать ли работы, написанные ИИ, как раскрывать вклад модели, как отличать верное доказательство от убедительно выглядящего. Формальная проверка в системах вроде Lean выглядит логичным инструментом для части результатов, хотя охватить ею все 700 текстов быстро не получится.

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