OpenAI가 내부 모델의 수학 결과와 일부 Lean 형식화, 추론 요약을 GitHub로 공개하며 연구자 지원 계획을 설명했습니다. WIRED에 인터뷰한 수학자들은 논문 형식과 선행 연구 인용, 사람이 이해할 시간 없이 결과가 쏟아지는 방식을 비판했습니다. AGMAI 권고도 인간의 이해와 책임, 독립적인 기록 보존을 강조하며 비공개 모델을 통한 시험 자체를 지지하지 않는다고 명시합니다. 형식 검증 여부와 학계의 결과 수용은 같은 문제가 아닙니다.