Anthropic의 Claude, '페르마의 마지막 정리' 컴퓨터 검증 증명 11일 만에 완수
* Anthropic의 Claude 모델이 컴퓨터 검증 언어인 Lean을 사용하여 11일 만에 '페르마의 마지막 정리' 증명 완벽 공식화 성공 * 약 1,300만 줄의 Lean 코드 작성 및 29,500개의 중간 정리 증명을 자율적으로 수행하며 기존 수학 라이브러리 규모 대폭 경신 * 컬럼비아 대학교 연구진이 개발한 협업 플랫폼 Prove2Me와 멀티 에이전트 구조를 활용해 에이전트 간 메모리 저하 및 협업 오류 극복 * 복잡한 수학 증명의 기계적 검증 가능성을 입증함으로써 향후 학계의 논문 심사 부담 경감 및 AI 생성 수학의 신뢰성 확보 기반 마련