AI클로드, 페르마의 마지막 정리 첫 컴퓨터 검증 증명 완성앤스로픽 클로드가 11일 만에 Lean 코드 1300만 줄을 써 수학계 최대 난제를 공식화했어요By 김현국/2026.09.0590