오픈AI는 내부 프론티어 모델이 생성한 수학 원고 722건을 공개했으며, 이 원고들은 372개 결과 계열로 정리됐다. 이번 공개 전략은 고등연구소의 수학·AI 자문단이 제시한 권고를 따른 것이다. 해당 원고들은 GitHub 저장소에서 열람할 수 있으며, 일부에는 Lean 형식 증명이 함께 제공된다. 오픈AI는 모든 결과가 완전히 검증된 것은 아니며, 형식화되지 않은 항목에는 오류가 포함될 수 있다고 주의를 당부했다. 검증이 계속됨에 따라 업데이트가 이뤄질 예정이다.