#지식생산

AI가 페르마를 증명한 날, 수학자는 왜 불안해졌나

Claude가 페르마의 마지막 정리를 Lean으로 형식화했다는 발표와 수학계의 AI 우려 선언을 함께 읽는다. AI 시대 연구의 병목은 정답 생산보다 이해 가능한 지식으로 편집하는 능력에 있다.