앤트로픽(Anthropic)이 9월 4일 AI 클로드(Claude)가 페르마의 마지막 정리를 처음부터 끝까지 컴퓨터로 검증할 수 있는 증명을 완성했다고 발표했다. 클로드는 11일 동안 거의 자율적으로 작업하며 증명 지원 시스템 린 4(Lean 4)로 1,300만 줄가량 코드를 생성했다. 앤트로픽은 페르마의 마지막 정리에 대한 최초의 완전한 기계 검증 증명이라고 설명했다. 페르마의 마지막 정리는 n이 2보다 큰 정수일 때 aⁿ＋bⁿ＝cⁿ을 만족하는 양의 … 클로드, 페르마의 마지막 정리 11일 만에 증명 완성 계속 읽기