수학자의 진정한 가치는 증명이 아닌 설명에 있다
원제 If math is more than proof, we need to better celebrate the rest of it
144 포인트댓글 109
Key Point
AI가 증명을 대체할 수 있는 시대, 수학자의 진정한 기여가 무엇인지 재정의하는 것은 학문 생태계의 가치 평가 체계를 바꾸는 근본적인 문제다.
핵심 요약
- 수학 커뮤니티에서 AI가 증명을 자동 생성하면서, 수학자의 진정한 역할이 무엇인지 재정의해야 한다는 목소리가 나오고 있다.
- 그랜트 샌더슨은 증명 생성보다 '동기 부여된 설명(motivated explanation)'을 학문적으로 더 가치 있게 평가해야 한다고 제안한다.
- 증명은 정의에서 시작해 논리적으로 진행되지만, 동기 부여된 설명은 문제를 먼저 명확히 한 후 틀린 아이디어에서 시작해 단계적으로 바로잡으면서 인간의 직관을 전달한다.
- 증명의 가치는 이진적으로 검증 가능하지만, 설명의 질은 주관적이므로 '각 개념이 어디서 나왔는지 명확한가'를 기준으로 평가할 수 있다.
- 수학계가 증명만 높이 평가하면 외부인이 수학자의 역할을 오해하게 되므로, 명확한 설명과 exposition도 동등한 학술적 신용을 받아야 한다.