AI가 증명한 수학 정리, 인간 수학자의 미래를 묻다
Key Point
AI가 순수수학의 최고 난제까지 해결하기 시작하면서, 수학 연구의 가치와 수학자 직업의 미래에 대한 근본적 질문이 제기되고 있습니다.
핵심 요약
- 1974년 이래 미해결 난제였던 '구면 하드비거 정리'를 중국 연구팀이 OpenAI Codex의 도움을 받아 증명했다.
- AI는 증명 세부사항 개발, 틈새 발견·보완, 논문 작성과 편집 등 기존에 연구 수학자만 가능하던 작업을 수행했다.
- OpenAI는 GPT-4 출시 시 LLM 노출도 분석에서 수학자 직업의 100%가 자동화 위험에 처해있다고 보고했으며, 다른 창작 분야보다 영향이 가장 크다.
- 저자는 클래식 음악이 보존되는 방식처럼 순수수학도 대학과 문화기관 중심의 '수학 음악원' 모델로 재편성될 수 있다고 제안한다.
- 현 재정 지원 체계는 AI 시대에 맞지 않으며, 인간 수학자가 가치 있는 이유를 재정의하고 지원 방식을 급진적으로 변화시켜야 한다고 주장한다.