직접 유한성에 관한 추측으로, 군 예제가 다루어진 문제들 가운데 하나로 언급되었다.
OpenAI는 일반에 공개되지 않은 내부 모델이 생성한 수학 연구 722편을 포함한 컬렉션을 GitHub에 공개했으며, 372개 문제군에 걸친 결과를 담고 있다. 회사는 연구들이 서로 다른 검증 단계에 있으며, 일부만 Lean을 사용해 검증되었다고 밝혔다.