출판된 연구에서 다루는 사례에 포함된 수학적 추측.
OpenAI는 일반에 공개되지 않은 내부 모델이 생성한 수학 연구 722편을 포함한 컬렉션을 GitHub에 공개했으며, 372개 문제군에 걸친 결과를 담고 있다. 회사는 연구들이 서로 다른 검증 단계에 있으며, 일부만 Lean을 사용해 검증되었다고 밝혔다.