← 피드로
Anthropic은 Claude가 11일간 대부분 자율적으로 작성한 최초의 종단 간 컴퓨터 검증형 페르마의 마지막 정리 증명을 공개함 수십 개의 Claude 에이전트가 Prove2Me에서 정리 의존성 그래프를 공유하며 3만 300개 정리를 증명했고, 최종 증명에는 2만 9,500개를 사…
출처: news.hada.io · https://news.hada.io/topic?id=33240