수학이 보수원으로 들어가고 있나?

Is mathematics about to enter the conservatory?

Claude가 Lean으로 페르마의 마지막 정리 증명을 공식화한 같은 주에, Wang과 Wu가 AI 지원으로 1974년부터 미해결이던 구면 Hadwiger 추측을 증명한 논문이 발표됐다. 저자는 이 증명이 수학자로서의 자신에게 큰 의미를 준다고 말하며, AI가 수학 연구를 어떻게 변화시키고 있는지, 그리고 순수 수학이 이미 '아카데미'라는 보수원에 있다는 점을 논한다. 그는 AI가 수학적 발견을 대체하는 시대에 인간 수학자를 계속 지원할 것인지 질문한다.