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

ForkLog · 2026-09-06 09:43 UTC

앤트로픽의 AI 모델 클로드가 11일 만에 페르마의 마지막 정리에 대한 컴퓨터 검증 증명을 완료했다. 연구진은 수학적 추론을 시스템이 검증 가능한 코드로 변환하는 방식을 사용했다. 이번 성과는 AI가 복잡한 수학적 난제를 해결하는 데 기여할 수 있음을 보여준다.

요약은 원문을 바탕으로 AI가 작성했어요. 투자 조언이 아닙니다.

같은 날 다른 소식