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