Новый препринт Ван и Ву из Хунаньского университета доказывает сферическую гипотезу Хадвига, открытую с 1974 года, при помощи Open AI Codex. Авторы раскрывают, что ИИ помог разработать детали доказательства, выявить пробелы, организовать рукопись и отредактировать английский текст, неся полную ответственность. Это следует за формализацией теорема Ферма от Клода в Lean в ту же неделю.

Автор, который пытался доказать это в аспирантуре, отмечает, что отчет GPT-4 от OpenAI оценил, что 100% работы математиков подвержено воздействию больших языковых моделей — больше, чем у писателей или художников. Задержка влияния ИИ может быть связана с меньшей экономической ценностью математики и ограниченными данными для обучения.

Это поднимает вопрос о том, будет ли чистая математика следовать классической музыке в модель «консерватории» — институционализированной в академии с ограниченными профессиональными ролями вне университетов. Математический консерваторий мог бы сохранить область даже когда получение результатов становится легким, но понимание их значения остается сложным. Чистая математика уже существует в этом консерватории (академия), где результаты понимаются лишь немногими.

Ключевые сущности: Компании: Open AI, Хунаньский университет | Люди: Ван, Ву, Клод Фейбл | Места: Хунаньский университет