«Ошибка в знаке»: OpenAI объявила математический прорыв и отозвала работы через день
6 октября OpenAI выложила 722 математические рукописи, созданные ИИ. 372 семейства результатов, «расширение границ человеческого знания». 7 октября три работы отозвали. Причина — ошибка в знаке. Та самая, из-за которой в школе ставят «неуд» и просят переписать.
Что случилось
В отозванных документах ошибка в знаке сломала центральный аргумент и построения в двух производных работах. Каждый документ теперь снабжён пометкой о «выявленном пробеле». Ещё 14 рукописей «подремонтировали»: где-то исправили утверждение, где-то добавили гипотезу, где-то обновили ссылку. В OpenAI признали: часть результатов «не имеет формальной проверки в Lean», поэтому «могут быть ошибки».
Почему это смешно
Потому что «исторический прорыв» и «ошибка в знаке» — это два полюса. В школе за ошибку в знаке снижают оценку. В Кремниевой долине за ошибку в знаке выпускают пресс-релиз, а потом отзывают работы и говорят: «Мы продолжим обновлять репозиторий». Математик из Корнелла Алекс Таунсенд прямо сказал: «Учитывая скептицизм сообщества к ИИ, OpenAI стоило сначала объявить проверенные работы».
А что у нас
В деревне на такое смотрят просто: если «прорыв» отзывают через сутки — не работает.
