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

Ассоциация за гуманную математику (Association for Human Mathematics) призвала к бойкоту OpenAI после того, как компания выложила сразу более 700 математических рукописей, сгенерированных ИИ. Уже на следующий день три работы пришлось отозвать: в них обнаружилась ошибка в знаке, что подрывает доверие к качеству всей партии.

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