앤트로픽의 클로드, 350년 난제 '페르마의 마지막 정리' 증명 성공
앤트로픽(Anthropic)은 자사 AI 모델 클로드(Claude)가 11일간의 연산 끝에 페르마의 마지막 정리를 1,300만 줄의 코드로 증명했다고 밝혔다. 이번 증명은 인간의 검증 없이 컴퓨터가 스스로 확인할 수 있는 방식으로 이루어졌으며, 수학적 난제를 해결하는 데 AI가 기여한 사례로 주목받고 있다.
要約は原文をもとに AI が作成しました。投資助言ではありません。
앤트로픽(Anthropic)은 자사 AI 모델 클로드(Claude)가 11일간의 연산 끝에 페르마의 마지막 정리를 1,300만 줄의 코드로 증명했다고 밝혔다. 이번 증명은 인간의 검증 없이 컴퓨터가 스스로 확인할 수 있는 방식으로 이루어졌으며, 수학적 난제를 해결하는 데 AI가 기여한 사례로 주목받고 있다.
要約は原文をもとに AI が作成しました。投資助言ではありません。