필즈상 수상자 테렌스 타오가 국제수학자대회(ICM) 2026 에세이에서 AI가 수학계를 괴델의 불완전성 정리 이후 최대 위기로 몰아넣을 수 있다고 경고했다. 그는 1900~1930년 러셀의 역설과 괴델 정리가 촉발한 기초 위기와 달리, 이번 위기는 수학적 진리가 아니라 '무엇이 기여인지, 무엇을 보상할지, 기계가 연구를 했다고 할 수 있는지'를 둘러싼 암묵적 가치체계에 있다고 본다. 근거로 든 First-Proof Project 2라운드에서는 미공개 연구 문제 10개 중 7개가 AI 4개 시스템 중 최소 하나로부터 문제당 수십~수백 달러 비용에 합격 수준 답을 받았다. 타오는 AI가 만든 매끄러운 증명이 읽기는 쉽지만 배우기 어렵다는 점, Erdős 문제 데이터베이스에 검증되지 않은 AI 제출물이 쌓이고 있다는 점을 우려하며, 저자가 자신의 결과를 명확히 설명하지 못하면 발표해서는 안 된다는 원칙을 제시했다.

• •테렌스 타오, ICM 2026 에세이에서 AI가 괴델 이후 수학 최대 위기를 촉발할 수 있다고 경고
• •이번 위기는 수학적 진리가 아니라 '무엇이 기여이고 무엇을 보상할지'를 둘러쌀 암묵적 가치체계 문제
• •First-Proof Project: 미공개 문제 10개 중 7개가 AI 시스템으로부터 합격 수준 답변, 문제당 수십~수백 달러
• •AI가 만든 매끄러운 증명은 읽기 쉽지만 배우기 어렵고, 검증 안된 AI 증명이 데이터베이스에 누적 중
• •타오의 원칙: 저자가 결과를 명확한 전문가 수준으로 설명 못하면 발표해서는 안 됨