Skip to content
AI 인텔리전스Sep 4, 2026Video
기사

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

Data Cube AI 편집팀출처: AI Explained
01

출처 브리프

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