HN Hacker News • 50일 전 IMP 8 테렌스 타오, 수학계 AI 전도사로 변신하다 천재 수학자 테렌스 타오는 자동화 증명 검사기를 통해 수학 문제를 작은 단위로 나누어 해결하고 조립하는 방식을 제안했습니다. 그는 2014년 이미 수학자들이 수백 명 단위로 협업하고 컴퓨터가 결과를 검증하는 미래를 예측하며, AI가 수학 연구의 새로운 패러다임을 열 것이라고 주장했습니다. 인공지능 수학 자동화 증명