페르마의 마지막 정리 형식화

URL

https://news.hada.io/topic?id=33240

날짜

2026/09/05

생성 일시

2026/09/04 22:20

태그

GeekNews

Anthropic은 Claude가 11일간 대부분 자율적으로 작성한 최초의 종단 간 컴퓨터 검증형 페르마의 마지막 정리 증명을 공개함 수십 개의 Claude 에이전트가 Prove2Me에서 정리 의존성 그래프를 공유하며 3만 300개 정리를 증명했고, 최종 증명에는 2만 9,500개를 사... ||