Математики призывают бойкот OpenAI после публикации сотен ИИ-сгенерированных доказательств
После того как OpenAI опубликовала более 700 математических рукописей, сгенерированных ИИ, Ассоциация за человеческую математику (AHM) во главе с Терренсом Тао призвала математиков бойкотировать компанию, обвиняя её в нарушении исследовательских норм и в завале области плотными, трудно проверяемыми доказательствами. Спор, который последовал за заявлением OpenAI о том, что внутреняя модель решила более 100 открытых задач и за созданием консультативной группы AGMAI, касается того, можно ли считать задачу решённой до появления проверяемого и понятного людям доказательства, а также вопросов атрибуции и учебных данных.