수학적 이해의 가치: 증명 너머의 설명력
If math is more than proof, we need to better celebrate the rest of it
Hacker News최근 수학계는 AI의 발전으로 증명(Proof) 생성 능력에 대한 의존도가 높아지면서, 학문적 가치를 재정립할 필요성이 제기되었습니다.
- 대안으로 '동기 부여된 설명(Motivated Explanation)'을 강조하며, 이는 정리가 왜 필요한지 배경과 맥락을 제시하는 데 중점을 둡니다.
- 이는 수학자가 단순한 문제 해결을 넘어 인류의 지적 호기심을 자극하고 이해를 확장하는 역할을 한다는 점을 보여줍니다.
- 다만, 그 가치가 증명처럼 명확히 참/거짓으로 판단되기 어려워 객관적인 학문적 지표화에는 근본적인 한계가 있습니다.
최근 수학계에서는 문제 해결과 증명 생성 능력이 수학자의 진정한 목표인 '인간 이해 심화'를 대변하는 지표(proxy)가 되고 있다는 인식이 확산되고 있습니다. 그러나 이러한 증명이 충분한 이해 없이 생성될 경우, 그 가치가 퇴색할 수 있다는 문제가 제기되었습니다. 이에 따라 학계는 기존의 증명 생성만큼이나 '동기 부여된 설명(motivated explanation)'이라는 개념을 명확히 정의하고, 이를 새로운 증명과 동등하게 학문적 공로로 인정해야 한다는 주장이 제기되었습니다.
증명과 동기 부여된 설명은 구조적으로 차이가 있습니다. 증명에서는 정의가 시작 부분에 위치하며 모든 진술이 논리적인 함의를 따라야 합니다. 반면, 동기 부여된 설명에서는 정의가 중간에 배치되며, 새로운 구성 요소는 해당 문제를 명확히 설정한 후에만 도입될 수 있습니다. 또한, 증명의 범위가 특정 정리가 왜 참인지를 설명하는 것이라면, 동기 부여된 설명은 그 정리가 애초에 제시되어야 하는 이유와 주변 맥락에서의 활용 방안까지 다루는 것을 목표로 합니다.
이러한 논의는 수학자가 단순한 문제 해결을 넘어 인류의 지적 이해를 확장하는 역할에 초점을 맞추고 있습니다. 외부에서 볼 때 증명 생성 기계가 수학자를 구식으로 만들 것이라는 오해가 있을 수 있으나, 학문 공동체가 스스로 보상하고 중요하게 여기는 작업이 증명에 치우쳐 있다면 이러한 오해는 지속될 수밖에 없습니다. 따라서 '개방된 설명 문제(open exposition problem)'와 같이 아직 충분히 이해되지 않았지만 기술적으로는 증명이 존재하는 영역을 중요하게 다루는 것이 수학자의 역할을 재정립하는 데 도움이 될 것으로 보입니다.