Jeremy Avigad는 Terence Tao의 블로그에 실은 기고에서 AI가 증명을 빨리 생성하는 일과 수학적 이해를 쌓는 일은 같지 않다고 주장했다. 더 어려운 문제, 더 넓은 개념, 새로운 연구 방법을 탐구하고 무엇이 중요한 질문인지 판단하는 역량을 보존하자는 제안이다. 연관 에세이도 수학 AI를 신경망 증명기에 한정하지 않고 형식화, 검증 가능한 라이브러리, 증명 보조 도구와 협업 방식까지 넓힌다. 새로운 성능 발표가 아니라 연구 공동체와 교육의 방향을 논의한 글이다.