人工智能解决350年数学难题,生成史上最长证明
앤트로픽(Anthropic)은 자사의 AI 모델 클로드(Claude)가 페르마의 마지막 정리를 증명하는 데 11일간의 연산을 수행했다고 밝혔다. 클로드는 컴퓨터가 스스로 검증 가능한 1,300만 줄 분량의 코드를 생성했으며, 이는 인간의 개입이나 신뢰 없이도 수학적 증명이 가능함을 입증했다.
摘要由 AI 依据原文撰写,并非投资建议。
앤트로픽(Anthropic)은 자사의 AI 모델 클로드(Claude)가 페르마의 마지막 정리를 증명하는 데 11일간의 연산을 수행했다고 밝혔다. 클로드는 컴퓨터가 스스로 검증 가능한 1,300만 줄 분량의 코드를 생성했으며, 이는 인간의 개입이나 신뢰 없이도 수학적 증명이 가능함을 입증했다.
摘要由 AI 依据原文撰写,并非投资建议。