#고워스

[특집] 수학의 두 문화 — 재프–퀸, 서스턴, 고워스를 정독하고 AI가 쓴 수학의 '문화'를 재다

1993년 재프와 퀸은 '증명 없는 사변'이 수학을 망칠 수 있다고 경고했고, 1994년 서스턴은 수학의 생산물은 정리가 아니라 이해라고 답했다. 2000년 고워스는 문제를 푸는 문화와 이론을 짓는 문화를 나눴다. 30년 묵은 이 논쟁을 원문으로 정독하고, 2026년 OpenAI가 공개한 AI 수학 원고 수백 편과 사람이 쓴 arXiv 논문의 초록을 고워스의 두 문화로 분류해 기계가 어느 문화에 서 있는지 직접 쟀다.