AI가 수학을 증명하는 시대, 미국은 수학자를 키울 파이프라인을 끊고 있다
Automation Without Understanding
AI가 연구 수준의 수학을 생산하기 시작한 반면, 미국은 이를 이해하고 검증할 수 있는 인간 수학자를 양성하는 파이프라인을 약화시키고 있다. 이 에세이는 이러한 흐름이 전략적 오류라고 주장한다. 수학적 역량은 단순한 정리 생산의 부산물이 아니라, 세대에 걸쳐 구축된 인프라라는 것이다. 2026년 5월 AI가 오랜 Erdős 추측을 반증한 사례와 연방 차원의 수학 지원 축소를 근거로, 수학적 역량을 반도체 역량과 동급의 전략 자산으로 취급해야 한다고 제안한다. 또한 결과에 영향을 미치는 추론을 수행하는 AI 시스템은 결정에 중요한 주장을 형식적이고 기계적으로 검증 가능한 형태로 공개하도록 요구해야 한다고 주장한다.
수학적 역량은 정리 생산의 부산물이 아니라, 세대에 걸쳐 요구에 따라 재구성할 수 없는 제도들에 의해 구축된 인프라의 한 형태다.