앤트로픽 '클로드', 수학계 난제 '페르마의 마지막 정리' 11일 만에 코드화

AI가 수학 역사상 가장 유명한 난제 중 하나인 '페르마의 마지막 정리'를 컴퓨터가 한 줄씩 검증할 수 있는 형태로 완전히 재구성했다. 앤트로픽은 4일(현지시간) 수십개의 '클로드' 에이전트를 투입해, 수년이 걸릴 것으로 예상됐던 정리의 형식화 작업을 불과 11일 만에 완료했다고 밝혔다.페르마의 마지막 정리는 2보다 큰 임의의 양의 정수 a, b, c에 대해 aⁿ + bⁿ = cⁿ는 성립하지 않는다는 명제다. 프랑스의 수학자 피에르 드 페르마가 1637년 책 여백에 이 명제를 적은 뒤 "실로 놀라운 증명을 발견했지만, 이 여백에는

AI타임스 · 2026. 09. 08. 오전 12:04