증명 대폭발로 수학계 판도 변화, AI가 '수학 2.0' 시대 열다

2025년 10월 9일 캘리포니아 공과대학 베크먼 강당에서 필즈상 수상자 타오저쉬안이 연설했다. 원래 제목은 '기계 보조 증명'이었으나 AI가 급격히 발전하면서 '수학 2.0(Math 2.0)'으로 바꿨다. 그는 AI가 수학계를 '증명 희소' 시대에서 '증명 과잉' 시대로 밀어 넣었다고 말했다. Scott Aaronson은 수학의 특이점이 이미 도래했다고 주장했다. 5월 OpenAI는 에르되시 단위거리 문제를 AI로 해결했고, 9월에는 나비에-스토크스 방정식의 유한시간 특이점 증명을 제시했다. 10월에는 700여 편의 AI 생성 수학 논문을 공개했다. 타오저쉬안은 '항암제 사고 실험'을 제시했다. 인간이 이해할 수 없는 완벽한 결과는 과학의 승리가 아니라 위험한 오정렬이라는 것이다. 그는 인간의 이해를 재건하는 것이 수학 2.0의 핵심이라고 주장했다. 인간이 더 이상 이해하지 않게 되는 것이 AI 시대의 가장 큰 위험이라고 경고했다.