OpenAI는 화요일 GitHub에 미공개 AI 모델이 생성한 수학 원고 722편을 공개하며, 대부분이 단일 프롬프트로 생성되었다고 주장했습니다. 그러나 MIT 수학자 Andrew Sutherland를 비롯한 일부 학자들은 모델과 결과가 재현 가능하기 전까지는 관련 주장이 입증되지 않았다고 의문을 제기하며, OpenAI에 더 많은 검증을 요구했습니다. OpenAI는 모든 원고가 컴퓨터로 검증된 것은 아니며, 162편(약 22%)이 Lean 소프트웨어를 통해 기계적 논리 검사를 통과했다고 인정했습니다.