Terence Tao의 블로그에 실린 Rikab Gambhir의 기고는 AI가 수학 결과를 대량 생산할 때 인간의 이해와 탐구 자체가 갖는 의미를 풍자적으로 묻는다. Tao 자신의 연구 결과나 사실 고발이 아니라 손님 필자의 논평이다. 글이 연결한 OpenAI 공개 자료는 372개 문제 계열의 원고 722개와 일부 Lean 증명을 제시하지만 모든 원고의 완전한 검증을 뜻하지 않는다. 산출량, 형식 증명의 범위, 사람이 결과를 설명하고 즐기는 활동을 구분해 읽어야 한다.