테렌스 타오 ‘수학에도 AI 덕분에 처음으로 분업 가능해질 것’ 작성: STORIUM 편집부 2026년 06월 01일 16시 03분 0 필즈상 수상자 테렌스 타오가 AI와 형식 검증 도구가 수학 연구에 역사상 처음으로 분업 구조를 가져올 수 있다고 주장했다.
