페르마 대정리, AI가 11일 만에 기계 검증을 끝냈다
발행일 2026. 9. 5.
수학계가 몇 년으로 잡았던 일정이 11일에 끝났다. 클로드가 페르마 대정리 증명을 린 코드 1,300만 줄로 옮겨 컴퓨터 검증을 통과했고, 중간 정리만 3만 300개다. 그런데 코드를 직접 돌려 본 수학자는 '수학적으로는 알려주는 게 없다'고 적었다. 발표문과 검증자 후기 원문으로 확인했다.
더 읽기 →태그
lean
전체 글
태그
발행일 2026. 9. 5.
수학계가 몇 년으로 잡았던 일정이 11일에 끝났다. 클로드가 페르마 대정리 증명을 린 코드 1,300만 줄로 옮겨 컴퓨터 검증을 통과했고, 중간 정리만 3만 300개다. 그런데 코드를 직접 돌려 본 수학자는 '수학적으로는 알려주는 게 없다'고 적었다. 발표문과 검증자 후기 원문으로 확인했다.
더 읽기 →