Francesco Maggi는 Terence Tao의 블로그에 기고한 글에서 AI가 수학 성과를 늘려도 인간의 이해와 독립적 연구 기반이 함께 성장하는지는 별개의 문제라고 지적한다. Lean으로 긴 증명을 검증하는 일과 새로운 개념을 이해하고 이론을 만드는 일을 구분하며, 학생의 기여 평가와 미공개 연구의 기밀성 문제도 제기한다. 접근 보장과 사용 공개, 재현 기준 및 공공 연구 인프라를 해법으로 제안한다. 이는 Maggi의 논평이며 Tao 본인의 저술이나 AI의 교육 효과를 입증한 실험 결과가 아니다.