Компания OpenAI опубликовала на GitHub коллекцию из 372 математических доказательств, сгенерированных внутренней моделью. По заявлению компании, каждое решение потребовало в среднем около трех часов вычислительных мощностей уровня ChatGPT Pro. В набор вошли результаты, касающиеся компьютерных алгоритмов и гипотезы Римана. Для проверки корректности доказательств OpenAI использует язык программирования Lean, позволяющий проводить машинную верификацию, что, по мнению компании, поможет справиться с большим объемом данных. Публикация вызвала неоднозначную реакцию в академическом сообществе. Группа из 25 лауреатов Филдсовской премии в открытом письме выразила опасение, что массовое производство математических истин может обесценить процесс глубокого концептуального понимания. Математики, включая Тимоти Гауэрса и Теренса Тао, предупреждают, что стремительный рост объема ИИ-литературы может привести к ситуации, когда человечество перестанет понимать собственные научные знания, и призывают ограничить использование ИИ в обучении молодых специалистов.