테렌스 타오, AI가 역사상 처음으로 수학에 분업을 가져올 수 있다고 주장

테런스 타오는 AI가 문제 설정, 전략 수립, 계산 수행, 검증 같은 역할을 나누며 수학 연구 방식을 바꿀 수 있다고 말했다.

그는 형식적 검증이 따라오지 않으면 AI가 검증되지 않은 아이디어를 대량으로 쏟아낼 수 있다고 경고했다.

타오는 AI가 더 큰 팀 기반 연구를 돕고 인간은 판단과 점검을 맡는 ‘산업적 수학’으로의 전환을 전망했다.

실질적인 진전은 하나의 기술이 아니라 여러 AI 능력이 동시에 발전해야 가능하다고 설명했다.