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

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