린 증명

2026년 9월 4일, 앤트로픽(Anthropic)이 수학사에 남을 발표를 내놓았다. 357년 동안 수학자들을 괴롭혀온 페르마의 마지막 정리(Fermat’s Last Theorem)를, AI 모델 클로드(Claude)가 단 11일 만에 컴퓨터가 한 줄씩 검증할 수 있는 “린(Lean)” 코드로 완전히 재구성했다는 것이다. 사람이 새로운 수학적 사실을 발견한 것은 아니지만, 몇 년이 걸릴 것으로 예상됐던 검증 작업을 AI 에이전트 수십 개가 협업해 13일이 채 … 더 읽기