무엇을 찾으세요?

기타 · If math is more than proof, we need to better celebrate the rest of it

수학자의 진정한 가치는 증명이 아닌 설명에 있다

핵심 요약

• 수학 커뮤니티에서 AI가 증명을 자동 생성하면서, 수학자의 진정한 역할이 무엇인지 재정의해야 한다는 목소리가 나오고 있다.
• 그랜트 샌더슨은 증명 생성보다 '동기 부여된 설명(motivated explanation)'을 학문적으로 더 가치 있게 평가해야 한다고 제안한다.
• 증명은 정의에서 시작해 논리적으로 진행되지만, 동기 부여된 설명은 문제를 먼저 명확히 한 후 틀린 아이디어에서 시작해 단계적으로 바로잡으면서 인간의 직관을 전달한다.
• 증명의 가치는 이진적으로 검증 가능하지만, 설명의 질은 주관적이므로 '각 개념이 어디서 나왔는지 명확한가'를 기준으로 평가할 수 있다.
• 수학계가 증명만 높이 평가하면 외부인이 수학자의 역할을 오해하게 되므로, 명확한 설명과 exposition도 동등한 학술적 신용을 받아야 한다.