ИССЛЕДОВАНИЕ · RESEARCH · #1734
Математики призывают бойкот OpenAI после публикации сотен ИИ-сгенерированных доказательств
После того как OpenAI опубликовала более 700 математических рукописей, сгенерированных ИИ, Ассоциация за человеческую математику (AHM) во главе с Терренсом Тао призвала математиков бойкотировать компанию, обвиняя её в нарушении исследовательских норм и в завале области плотными, трудно проверяемыми доказательствами. Спор, который последовал за заявлением OpenAI о том, что внутреняя модель решила более 100 открытых задач и за созданием консультативной группы AGMAI, касается того, можно ли считать задачу решённой до появления проверяемого и понятного людям доказательства, а также вопросов атрибуции и учебных данных.
КЛЮЧЕВЫЕ ТЕЗИСЫ
- После того как OpenAI опубликовала более 700 математических рукописей, сгенерированных ИИ, Ассоциация за человеческую математику (AHM) во главе с Терренсом Тао призвала математиков бойкотировать компанию, обвиняя её в нарушении исследовательских норм и в завале области плотными, трудно проверяемыми доказательствами.
- Спор, который последовал за заявлением OpenAI о том, что внутреняя модель решила более 100 открытых задач и за созданием консультативной группы AGMAI, касается того, можно ли считать задачу решённой до появления проверяемого и понятного людям доказательства, а также вопросов атрибуции и учебных данных.
- Это важно, поскольку ставит острые вопросы верификации, атрибуции, происхождения тренировочных данных и стимулов в математических исследованиях, а также о том, как следует публиковать и признавать результаты, сгенерированные ИИ.
ПОЧЕМУ ЭТО ВАЖНО
Это важно, поскольку ставит острые вопросы верификации, атрибуции, происхождения тренировочных данных и стимулов в математических исследованиях, а также о том, как следует публиковать и признавать результаты, сгенерированные ИИ.