인공지능 시대의 수학: ICM 2026에서 테런스 타오의 공개 강연

테렌스 타오는 2026년 7월 24일 국제수학자대회에서 'AI 시대의 수학'이라는 제목의 공개 강연을 했다. 그는 러셀의 역설과 괴델의 불완전성 정리로 인해 발생한 20세기 초 기초 위기와 AI가 현재 제기하는 도전을 비교했다. 타오는 약한 형태와 강한 형태를 가진 'AI 역량 가설'을 공식화했지만, 목표와 가치라는 직교적인 질문에 초점을 맞추기로 선택했다. 그는 AI 역량 가설의 합리적으로 강한 버전이 사실이라는 작업 가설을 채택했다. 즉, AI 도구가 곧 연구 수준의 수학 작업 중 상당 부분을 합리적인 성공률, 품질, 통제 가능성, 비용으로 수행할 수 있게 될 것이라는 가정이다. 이 가정 하에, 그는 커뮤니티가 진정한 목표(문제 해결, 이론 구축, 교육, 미적 작품 창작)를 검토해야 하며, AI가 생성한 해결책을 최적화하는 것이 이러한 목표를 분기시킬 위험이 있다고 경고했다. 그는 2026년 5월 28일에 10개의 연구 수준 문제 중 7개가 AI 팀에 의해 문제당 10~1000달러의 비용으로 해결된 First Proof 챌린지(firstproof.org)의 결과를 인용했다. 타오는 Erdős 문제와 같은 사이트에서 AI가 생성한 증명이 검증에 대한 우려를 제기한다고 언급했으며, 인간 전문가들이 이를 검증할 시간이나 자격이 부족한 경우가 많다고 지적했다.