AI 클로드, 10년 걸릴 '페르마의 마지막 정리' 증명 검증 11일 만에

AI 요약

앤트로픽의 AI 모델 클로드가 페르마의 마지막 정리 증명을 컴퓨터 검증 가능한 형식 언어인 린(Lean) 코드로 완전 형식화하는 작업을 단 11일 만에 완료했다고 앤트로픽이 9월 4일 발표했고 이 소식은 9월 7일 네이처가 보도했습니다. 클로드가 생성한 코드는 약 1300만줄 규모이며 세부 정리 약 2만9500개가 포함되어 있습니다. 인간 수학자들이 약 10년이 걸릴 것으로 예상했던 작업을 단기간에 마치면서 AI가 수학 연구의 검증 도구로 본격 활용될 가능성이 커졌습니다.