Компания OpenAI опубликовала 722 математические рукописи и доказательства, из которых лишь 300 были формализованы для компьютерной проверки. Разработчик не раскрыл название модели и промпты, использованные для генерации результатов, несмотря на рекомендации Консультативной группы по математикам и искусственному интеллекту.
Публикация вызвала протест в академической среде. Профессора математики, включая Тристана Бакмастера из Нью-Йоркского университета и Брину Кра из Северо-Западного университета, заявили, что подобные действия обесценивают многолетние исследования и подрывают культуру научного сотрудничества, вынуждая ученых скрывать свои наработки.
Эксперты также обсуждают риски для кибербезопасности. Мэтью Грин из Университета Джонса Хопкинса предположил, что развитие ИИ может поставить под угрозу криптографию с открытым ключом и безопасность цифровых активов. В то же время Адам Бэк и Виталик Бутерин призвали не паниковать, отметив, что текущие угрозы для криптографии не являются неизбежными.
Математики сообщают о низком качестве представленных данных: в отчетах встречаются бессмысленные формулы и результаты, которые уже были получены ранее. Несмотря на публикацию логов изменений в репозитории на GitHub, научное сообщество обеспокоено тем, что автоматизированная генерация решений негативно влияет на карьеры молодых ученых и целостность математики как дисциплины.
