AI가 증명한 수학 정리, 인간 수학자의 미래를 묻다

핵심 요약

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