[AI+]358년 걸린 수학 난제 '페르마의 정리', AI는 11일 만에 '검산' - 머니투데이

AI 요약

앤트로픽은 4일(현지시간) 자사 AI 클로드가 페르마의 마지막 정리 증명을 컴퓨터로 검산하는 작업을 11일 만에 끝냈다고 밝혔으며, 수십 개의 AI 에이전트를 활용해 증명 검사 프로그램 린(Lean)용 코드 1,300만 줄을 작성하고 중간 정리 3만300개를 증명해 최종 증명에는 이 중 2만9500개가 쓰였다고 설명했습니다. 연구진은 AI를 여러 에이전트로 운영해 큰 증명을 쪼개 처리했고 최종 판정은 린이 했으며, 임페리얼칼리지런던의 케빈 버저드 교수는 이를 현대 수학 문헌의 자동 형식화에 큰 진전이라고 평가했지만 이번 작업은 새 방식의 정리가 아니라 수백 년 쌓인 이론과 기존 증명 위에서 이뤄진 것이고 연구진은 컴퓨터 증명이 사람이 이해하는 논문을 대체해선 안 된다고 강조했습니다