테런스 타오, AI 시대의 수학 기반 위기를 선언하다

Terence Tao: Mathematics in the Age of AI [pdf]

2026년 국제수학자대회(ICM) 기조강연에서 테런스 타오는 AI가 수학 연구의 패러다임을 바꾸고 있으며, 이는 20세기 초 수학 기초론의 위기에 비견된다고 주장한다. 그는 AI의 능력에 대한 논쟁(약한/강한 형태의 추측)을 넘어, 수학 공동체의 목표와 가치에 대한 근본적인 질문을 제기한다. '풀리지 않은 문제를 최대한 많이 푼다'는 단순한 목표가 AI 최적화로 인해 왜곡될 수 있음을 지적하고, 증명 생성과 검증의 가속화가 '아무도 이해하지 못하는 증명'을 양산할 위험을 경고한다. 타오는 수학의 다양한 목표(문제 해결, 이론 구축, 공동체 형성 등)가 AI로 인해 분기될 수 있다고 분석한다.