“수학자들이 수년 걸릴 일, AI는 11일 만에 끝냈다…클로드, ‘페르마의 마지막 정리’ 완전 검증

앤트로픽(Anthropic)의 인공지능(AI) 모델 클로드(Claude)가 수학계의 난제로 꼽혀온 ‘페르마의 마지막 정리(Fermat’s Last Theorem)’의 완전한 컴퓨터 검증 증명을 최초로 완성했다.앤트로픽은 4일(현지시간) 클로드가 정리를 증명하는 수학적 논리를 컴퓨터가 직접 검증할 수 있는 형태로 변환하는 ‘형식화(formalization)’ 작업을 11일 만에 사실상 자율적으로 수행했다고 밝혔다.이번 작업에서 클로드는 수학 증명 검증 시스템인 린(Lean)을 사용해 약 1300만 줄의 코드를 작성했으며, 최종 증명에

인공지능신문 · 2026. 09. 06. 오후 09:00