수학은 증명 그 이상이다, 나머지도 기려야 한다

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

수학계는 문제 풀이와 증명 생성이 인간 이해라는 진정한 목표의 대리 지표였다고 본다. AI가 증명을 대량 생산하면 그 지표의 가치가 흔들린다. Grant Sanderson은 '동기 부여된 설명'을 새로운 학술적 성과로 정의하고, 증명만큼 인정하자고 제안한다. Thurston의 '증명과 수학의 진보'와 Chow의 '강제법 입문'을 예로 들며, AI 시대에 설명 문제가 쏟아질 것이라 전망한다.