수학이 증명 이상이라면, 증명 이외의 기여도 더 높이 평가해야 한다

수학의 목표가 인간의 이해를 넓히는 것이라면, 새로운 증명뿐 아니라 아이디어를 어떻게 떠올릴 수 있는지 밝혀 주는 설명에도 비슷한 수준의 학문적 인정을 부여해야 함 발상의 동기를 드러내는 설명(motivated explanation) 은 정의와 구성을 처음부터 주기보다 그것이 필요한 문제를 먼저 보여 주고, 정리가 왜 참인지뿐 아니라 왜 그런 정리를 생각해야 하는지까지 연결함 설명의 완성도는 증명처럼 이분법적으로 검증할 수 없지만, 각 아이디어가 어디서 나왔는지 분명한가는 실용적인 평가 기준이 될 수 있음 AI가 만든 Erdős 문제 증명을 사람이 해석하고 확장한 사례에서는, 문제 하나를 해결한 사실보다 핵심 아이디어를 명료하게 만들고 주변 문제와 연결한 작업이 더 큰 가치를 가질 수 있음 대학원 교육, 학술지, 채용과 정년보장 심사에서 이해를 높이는 기여를 더 인정하고, 수학계가 이런 변화를 주도해야 증명 생성 시대에도 수학자의 역할을 분명히 할 수 있음 증명은 목표인가, 이해를 측정하는 대리 지표인가 문제 해결과 증명 생성은 수학의 궁극적 목표인 인간의 이해 증진을 측정하는 대리 지표로 기능해 왔지만, 이해 없이도 증명을 생성할 수 있다면 그 지표의 가치는 약해짐 새로운 대안은 발상의 동기를 드러내는 설명을 더 명확히 정의하고, 독창적이고 설득력 있는 설명에 미해결 문제의 새 증명과 비슷한 학문적 인정을 부여하는 것임 단순한 대중화가 아니라, 깊은 전문지식이 필요한 주제라도 “어떻게 그런 생각을 떠올릴 수 있는가?”에 답하는 모든 작업을 포함함 수학자들이 이미 상당한 시간을 들이는 활동이므로, 새로운 활동을 만들기보다 기존 작업을 명확히 정의하고 위상을 높이는 데 초점이 있음 증명 생성 기계가 수학자를 불필요하게 만든다는 외부의 오해를 바로잡으려면 보상하는 작업의 종류부터 실제 가치를 드러내야 함 증명 생성에 찬사가 집중되고 명료화와 해설은 부차적으로 취급된다면, 외부인이 수학자의 역할을 오해하는 것도 무리가 아님 이 제안에는 수학 영상 제작에 집중해 온 Grant Sanderson의 개인적 편향이 있을 수 있음 다만 그의 경력과 재원은 학계 밖에 있으며, 제안의 범위도 대중에게 직관을 전달하는 활동에 한정되지 않음 발상의 동기를 드러내는 설명과 증명의 차이 정의의 위치가 다름 증명은 새로운 정의나 구성을 먼저 놓고 그 성질을 분석해도 됨 발상의 동기를 드러내는 설명에서는 해결하려는 문제가 분명해진 뒤에야 ...