AI가 증명하는 정리, 수학의 미래를 두고 한숨
Key Point
AI가 수학의 어려운 정리들을 증명하면서 수학자들이 자신의 역할과 가치를 재정의하려 하는 와중에, 저자는 '이해'를 내세우는 것이 장기적 함정이 될 수 있으며 정리 증명 자체의 가치를 돌아봐야 한다고 주장한다.
핵심 요약
- AI가 나비에-스토크스 추측을 증명하고 밀레니엄 문제를 해결하면서 수학 커뮤니티가 다섯 단계 상실감(거부·분노·타협·우울·수용)을 겪고 있다.
- 거부 단계: '인간 수학 협회'는 AI 사용을 금지하고 AI 없이 증명을 찾겠다고 선언하며, 필즈상 수상자 피터 숄체는 AI를 쓰지 않겠다고 공언했다.
- 분노 단계: 블라드 라직 등 여러 수학자가 온라인에서 AI 증명에 대한 분노를 표했다.