Часть математиков отказалась бесплатно проверять работы модели OpenAI

Математик Терренс Тао написал, что преподавателям придётся менять разговор со студентами из-за ИИ, а в сообществе начался отказ проверять машинные результаты OpenAI. Поводом стали 722 работы, которые внутренняя модель компании выложила в репозиторий openai/math.

Математик Асаф Карагила разобрал один из результатов — про принцип разбиения множеств — и показал, что доказательство опирается на утверждение, которое само по себе требует доказательства. Он отдельно отметил, что проверка таких текстов перекладывает работу с компании на рецензентов-добровольцев.

Часть математиков объявила, что больше не будет разбирать машинные препринты бесплатно. Напомним, OpenAI уже отозвала три результата из этой серии.