Terence Tao, AI가 마침내 수학에 분업을 가져올 것이라 예측
terence tao는 ai가 수학 연구에 분업을 도입해 대규모 팀과 자동화된 검증을 갖춘 '산업 수학'을 가능하게 만들 것이라고 봅니다.
테렌스 타오(Terence Tao)는 AI와 형식 검증(formal verification)이 어떻게 노동 분업을 이전에는 불가능했던 방식으로 순수 수학을 재편할 것인지에 대해 설명했다. 역사적으로 수학자들은 전체 파이프 라인을 혼자서 관리했지만, 타오는 대규모 팀이 AI를 사용하여 광범위하지만 얕은 연구를 수행하는 '산업 수학(industrial mathematics)'로의 전환을 예상했다. 그는 AI의 유용성이 테스트되지 않은 아이디어의 홍수를 방지하기 위해 검증의 엄격함에 직접적으로 의존한다고 경고했다. 이 모델은 인간이 '영감을 받은 추측'을 할 수 있도록 위치시키고 AI가 수십억 개의 데이터 포인트를 처리한다.