클로드, 페르마 정리 검증 형식화 11일 완성

인공지능신문에 따르면 앤트로픽의 클로드가 9월 4일 페르마의 마지막 정리를 컴퓨터가 직접 확인할 수 있는 형식 증명으로 바꾸는 작업을 11일 만에 사실상 자율적으로 끝냈다. 이번 결과는 새 정리를 발견한 것이 아니라 기존 증명을 약 1300만 줄의 Lean 코드로 옮겨 완전 검증 가능하게 만든 데 의미가 있다. 사람이 읽는 수학 증명에서 흔히 생략되는 논리 단계를 모두 풀어 적어야 하는 만큼, 이런 형식화는 오래 걸리고 난도가 높다고 전했다. 이번 프로젝트에서는 여러 에이전트가 역할을 나눠 협력했고, 증명 관계를 관리하는 플랫폼을 붙이면서 진행 속도가 붙었다고 한다. 앤트로픽은 이를 통해 AI가 만든 수학적 결과를 사람이 처음부터 끝까지 일일이 확인해야 하는 부담을 줄일 수 있다고 봤다. 동시에 형식 증명이 논리적 정확성은 보강해도, 수학적 아이디어와 의미를 설명하는 인간의 서술까지 대신하는 것은 아니라는 점도 함께 강조했다.