테렌스 타오 '수학 2.0' 문서 공개…"AI 투자로 증명이 드문 시대에서 넘쳐 나는 시대로"(커뮤니티 전언)

무슨 일인가

GeekNews에 테렌스 타오의 '수학 2.0' PDF가 소개됐다. 요약에 따르면 이 문서의 주장은 다음과 같다. 전통 수학은 올바른 증명을 얻기 어렵다는 '증명의 희소성'을 전제로 발전해 왔다. 그런데 AI에 대규모 투자가 이뤄지면서 증명이 풍부한 시대로 들어서고 있다. 수학은 결과를 객관적으로 검증할 수 있고, 디지털화하기 쉬우며, 고품질 데이터가 많다. 이 때문에 수학 문제 풀이가 AI에 잘 맞는 과제가 됐다는 것이다.

의미

최근 OpenAI의 수학 증명 대량 공개와 철회·수정 논란에 이어, 대표적인 수학자가 AI 시대의 수학 연구 방식을 정리해 내놓은 글이다. 증명 검증, 연구 공동체의 역할, 기여를 어떻게 인정할지에 대한 논의에 기준점이 될 수 있다.

출처

• 커뮤니티 Terence Tao: 수학 2.0 [PDF] GeekNews