formal-verification

AI

클로드, 페르마의 마지막 정리 첫 컴퓨터 검증 증명 완성

앤스로픽 클로드가 11일 만에 Lean 코드 1300만 줄을 써 수학계 최대 난제를 공식화했어요

By 김현국/3시간 전