AI 수학 자동화 시대, 인간 수학자의 역할 재정의해야

Key Point
수학자들이 AI의 정리 증명 능력을 보고 느끼는 위기감이 사실은 직업 보호의 신호가 아니라, 수학의 진정한 목표가 무엇인지 재정의하는 기회를 제시한다.
핵심 요약
- AI 시스템이 IMO 수준의 수학 문제 해결과 난제 자동 해결에 성공하면서 수학 분야의 급격한 변화가 진행 중이다.
- 현재 수학 공동체는 정리 증명을 중심으로 가치를 평가해왔으나, AI가 자동으로 증명을 생산할 수 있게 되면 이 기준은 더 이상 유효하지 않다.
- 초인적 수준의 AI 수학 능력이 등장해도 개별 결과에 대한 인간의 이해(human understanding)는 자동으로 생기지 않으며, 이것이 인간 수학자의 필수적 역할이다.
- 학습 세미나, 우연한 대화, 공동체 학습 같은 현재의 학술 제도 형태는 보존하되, 그 안의 가치(understanding, 질문 제기, 설명력)에 집중해야 한다.
- 저널, 동료 심사, arXiv 같은 기존 제도의 형태를 보호하려는 시도는 현실적이지 않으며, 새로운 균형점을 찾아야 한다.