AI가 358년 만에 증명된 '페르마의 마지막 정리'를 11일 만에 컴퓨터가 검증 가능한 형태로 변환하는 데 성공했습니다. 앤트로픽의 AI 클로드는 1300만 줄의 코드를 작성하고 3만 개 이상의 중간 정리를 증명하며, 수년이 걸릴 것으로 예상됐던 형식화 작업을 단축했습니다. 이는 AI가 과학적 발견의 검증 과정에 기여하는 새로운 시대를 ...