Модель доказала квази-гипотезу Римана и разработала новый алгоритм умножения матриц. Исследования охватывают около 20 математических субполей, включая теоретическую информатику и физику. В работах содержатся файлы Lean для быстрой проверки доказательств с компьютера.
OpenAI планирует финансировать мероприятия и программы, посвящённые проверке открытий, сделанных ИИ.