Математики критикуют массовый выпуск ИИ-сгенерированных доказательств OpenAI

OpenAI объявила о публикации более 700 файлов, содержащих ИИ-сгенерированные доказательства для ряда математических задач. Выпуск последовал после прежних споров, связанных с агентами компании и заявленным решением уравнений Навье-Стокса.

Ассоциация человеческой математики выпустила заявление, отвергающее утверждение, что публикация продвигает дисциплину, назвав массовую публикацию «не демонстрацией учёности, а демонстрацией силы». Заявление было поддержано лауреатом Филдсовской премии Терренсом Тао, который призвал как математиков, так и общественность относиться к этому подходу скептически.

OpenAI заявила, что консультировалась с независимой Консультативной группой по математике и искусственному интеллекту для улучшения способов обмена результатами с исследовательским сообществом. Однако позже эта группа выпустила заявление, в котором говорится, что она не одобряет тестирование сложных математических задач на проприетарных моделях, и попросила OpenAI прекратить такие тесты.

Ассоциация раскритиковала OpenAI за игнорирование рекомендаций консультативной группы, утверждая, что компания пренебрегает стандартными научными нормами, обеспечивающими надёжность и общественный интерес к математическим исследованиям. Хотя доказательства были проверены с помощью языка программирования Lean, эксперты отмечают, что многие из них трудно интерпретировать человеку, что делает их практическую ценность неопределённой и возлагает дополнительную работу по верификации на математиков.