앤트로픽 클로드, 350년 난제 페르마의 마지막 정리 증명

앤트로픽(Anthropic)의 인공지능 모델 클로드가 11일간의 연산 끝에 페르마의 마지막 정리를 1,300만 줄의 코드로 증명했다. 사람이 검증할 필요 없이 컴퓨터가 스스로 확인할 수 있는 형태의 증명이다. 인공지능이 복잡한 수학적 난제를 해결하는 새로운 가능성을 보여준 사례로 풀이된다.