Anthropic의 Claude는 Lean 프로그래밍 언어로 페르마의 마지막 정리의 증명을 형식화하기 위해 11일 동안 대부분 자율적으로 작업했으며, 이는 AI 지원 수학 연구에서 중요한 이정표가 되었다.
Data Cube AI 편집팀출처: AI Explained
01
Anthropic의 Claude는 Lean 프로그래밍 언어로 페르마의 마지막 정리의 증명을 형식화하기 위해 11일 동안 대부분 자율적으로 작업했으며, 이는 AI 지원 수학 연구에서 중요한 이정표가 되었다.