앤트로픽 "클로드, 페르마의 마지막 정리 완전 증명…린으로 검증"

인공지능(AI) 기업 앤트로픽(Anthropic)의 AI 모델 클로드(Claude)가 페르마의 마지막 정리에 대한 완전한 증명을 작성하고 이를 정리 증명 도구 린(Lean)을 통해 컴퓨터로 검증하는 데 성공했다.

4일(현지시간) 가상자산 전문 미디어 코인텔레그래프에 따르면 클로드는 11일 동안 대부분 자율적으로 작업해 페르마의 마지막 정리에 대한 최초의 완전한 컴퓨터 검증 증명을 완성했다.

이번 작업에는 수학적 증명을 형식화하고 컴퓨터가 논리적 오류 여부를 확인할 수 있도록 하는 정리 증명 도구 린이 활용됐다.

앤트로픽은 이번 성과가 AI 모델이 장기간 자율적으로 복잡한 수학적 증명 작업을 수행하고 이를 형식적으로 검증한 사례라고 설명했다.