테런스 타오, 필즈상 시상식에서 "수학, 세기적 위기 직면"

2026년 국제수학자대회(ICM)에서 2026년 필즈상 수상자 왕홍과 덩위가 발표된 직후, 2006년 같은 상을 받은 테렌스 타오가 'AI 시대의 수학'이라는 제목의 강연을 했습니다. 타오는 AI가 수학을 다룰 수 있는지 논의하는 대신, 가까운 시일 내에 AI가 상당한 비용 부담 없이 연구 문제의 상당 부분을 해결할 수 있을 것이라는 작업 가설을 제안했습니다. 독립적인 벤치마크인 '퍼스트 프루프(First Proof)'에서 AI 시스템이 출판 가능한 수준으로 10개 문제 중 7개를 해결한 사례를 인용하며, 이로 인해 논의를 가치의 영역으로 전환할 수 있다고 강조했습니다. 타오는 굿하트 법칙(Goodhart's law)을 인용하며, 지표가 목표가 되면 좋은 지표로서의 기능을 상실한다고 설명했습니다. 수학 연구에서 목표의 진화(문제 해결, 검증, 명확한 설명, 커뮤니티 수용, 정전화)가 '증명 소화 불량(proof indigestion)'을 초래할 것이라고 주장하며, 증명이 부족한 시대에서 증명이 풍부한 시대로의 전환을 지적했습니다. 타오는 '최초 해결'의 비중을 줄이고 설명, 출판, 정전화 같은 '소화' 단계의 중요성을 높여야 한다고 촉구했습니다. 그는 AI 사용을 공개하고 저자가 정확성에 대해 전적인 책임을 지도록 요구하는 '라이덴 선언(Leiden Declaration on AI and Mathematics)'을 지지했습니다. 타오의 엄격한 규칙은 저자가 구두로 명확하고 전문적으로 연구를 설명할 수 없다면 출판해서는 안 된다는 것입니다. 타오 자신도 슬라이드 준비에 AI를 사용했다고 인정하며, 커뮤니티 내에서 열린 대화를 촉구했습니다.