증명을 넘어선 일러스트레이션, 수학의 새로운 길

핵심 요약

• 수학자·미술가·교육자들이 파리 Henri Poincaré 연구소에서 모여 일러스트레이션이 어떻게 엄밀한 증명이 될 수 있는지 논의했다.
• AI 시대 정리(theorem) 생산이 성공의 유일한 척도가 되면서, 수학의 진정한 목표는 '이해'라는 근본적 문제가 드러났다.
• 19세기 Monge의 École Polytechnique에서는 '그리기는 알기(Drawing was knowing)'였으나, 20세기 증명 중심 전통으로 축소되었다.
• 1990년대 Jaffe·Quinn의 영향력 있는 논문에 대한 응답에서 Thurston을 비롯한 수학자들이 증명과 의미의 관계를 다시 논했다.
• 일러스트레이션은 단순히 설명이 아니라 미지의 수학을 탐색하는 연구 방법이며, algebraic starscapes 사례에서 부주의한 변형이 새로운 구조를 드러냈다.
• GPT-6가 발견한 Chair44 3차원 비주기 타일의 경우, 61쪽 논문의 도형이 핵심 아이디어를 드러내자 Goodman-Strauss가 8쪽의 증명으로 정제했다.
• 일러스트레이션의 엄밀성은 증명으로 보증하는 성질들(affordances)로 정의할 수 있으며, Mandelbrot 집합처럼 픽셀 크기보다 작은 특징은 놓칠 수 있다.
• 미술 교육의 'crit' 방식(최소한의 소개로 작품을 제시해 관객의 반응을 평가)을 도입해 일러스트레이션 평가의 형식을 제공했다.
• Monge의 학생들처럼 타자의 작품을 보는 것이 아니라 직접 만드는 과정에서 가치와 이해가 나온다는 것이 수학 공동체의 암묵적 가치였다.
• Geometry Labs United 같은 인프라가 증명·실험·설명·일러스트레이션을 통한 학습을 지원하고 있으며, 수학 교육과도 연결된다.
• 수학은 기호 소통을 넘어 그래픽·모형·소프트웨어·경험을 포함하며, 이들 작업을 증명과 동등하게 인정하는 구조가 필요하다.