Scientific American이 인터뷰한 여러 수학 연구팀은 OpenAI의 166쪽 나비에-스토크스 증명이 회사가 처음 설명한 스페인 연구진의 접근과 세부적으로 다르다고 밝혔다. 두 접근 모두 외력을 특수하게 구성하지만 그 방식은 별개이며, Lean의 논리 검증만으로 인간이 증명 전체를 쉽게 이해하는 것은 아니다. 관련 보도에서는 약 1만 모델 인스턴스가 참여했어도 단일 에이전트와의 체계적 비교가 없었다고 지적한다. 방법의 차이는 새로운 분석 결과지만 기존 연구의 영향이나 데이터 사용 논란까지 해소하지는 않는다.