선택 공리를 연구해 온 Asaf Karagila는 OpenAI의 분할 원리 논문을 훑어본 뒤 구성과 용어, 참고문헌이 불명확해 연구 전략을 파악하기 어렵다고 비판했다. 그는 대량 공개된 해법을 해독하는 부담을 학계에 넘겨서는 안 된다고 주장했다. 다만 Lean 코드를 검토하지 않았으므로 이 글은 수학적 오류의 증명이 아니다. OpenAI의 공식 발표도 여러 증명의 Lean 형식화와 수정 절차를 공개하면서 향후 서술 품질을 개선하겠다고 밝혔다. 발표된 진전을 독립 검증이 끝난 난제 해결로 받아들이지 않는 구분이 필요하다.