Anthropic AI, 11일 만에 페르마의 마지막 정리 증명 '형식화' 성공

Anthropic AI 'formalizes' proof of Fermat's last theorem in just 11 days