테런스 타오, 'Math 2.0' 시대 제언
원제: “Math 2.0” will need to value mathematical progress more holistically
왜 중요한가
AI와 협업 도구가 수학 연구에 진입하면서, 학계의 공로 인정 체계와 인센티브 구조 전반이 재편 압력을 받고 있다.
필즈상 수상자 테런스 타오가 Mathstodon에 게시한 글에서, AI 협업 시대의 수학('Math 2.0')은 '최초 증명자'를 우선시하던 기존 'Math 1.0'의 가치 체계에서 벗어나 수학적 기여를 보다 폭넓게 평가해야 한다고 주장했다.
세계 최고 수학자 중 한 명으로 꼽히는 테런스 타오가 분산형 소셜 플랫폼 Mathstodon에 짧지만 핵심을 찌르는 글을 올렸다. 그는 'Math 1.0' 체제가 특정 정리를 가장 먼저 증명한 사람에게 지나치게 높은 가치를 부여해왔다고 지적했다. 반면 검증, 형식화, 설명, 오류 수정 등 수학의 실질적 진보에 기여하는 다양한 활동은 상대적으로 저평가됐다는 것이다. 타오가 언급한 'Math 2.0'은 AI 도구와 대규모 협업이 수학 연구에 본격 도입되는 새로운 단계를 가리킨다. AI가 증명 탐색이나 형식 검증에 활용되기 시작하면서, '누가 처음 발견했는가'라는 단일 기준으로는 기여도를 측정하기 어려워졌다. 타오는 이러한 변화에 맞춰 수학 공동체가 기여의 형태와 평가 방식을 재정의해야 한다고 강조했다. 이 게시물은 간결한 분량임에도 수학계와 AI 연구자들 사이에서 빠르게 회자되고 있다. Lean, Coq 같은 형식 증명 보조 도구의 보급 확대와 맞물려, 학계 내 인센티브 구조 재편 논의에 불을 붙이는 발언으로 받아들여지고 있다.