AI 클로드, 10년 걸릴 '페르마의 마지막 정리' 증명 검증 11일 만에

AI 요약

7일(현지시간) 보도에 따르면 앤트로픽은 지난 4일 자사 고급 프로토타입 AI 모델 클로드를 이용해 페르마의 마지막 정리 증명을 컴퓨터가 검증 가능한 코드로 완전히 형식화했다고 발표했습니다. 클로드는 수학 증명 검증에 널리 쓰이는 프로그래밍 언어 린을 활용해 약 1300만줄의 코드와 최종 증명에 이르기까지 확인해야 하는 세부 정리 약 2만9500개를 생성했습니다. 다만 클로드가 만든 대규모 코드 체계는 증명을 완성·검증하는 데 맞춰 독자적으로 구성돼 매스립 같은 공용 라이브러리에 곧바로 통합되기에는 막대한 작업이 필요하다고 기사에 나와 있습니다.