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

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