CoinScoop汇集全球加密货币新闻

人工智能解决350年数学难题,生成史上最长证明

Decrypt ·

앤트로픽(Anthropic)은 자사의 AI 모델 클로드(Claude)가 페르마의 마지막 정리를 증명하는 데 11일간의 연산을 수행했다고 밝혔다. 클로드는 컴퓨터가 스스로 검증 가능한 1,300만 줄 분량의 코드를 생성했으며, 이는 인간의 개입이나 신뢰 없이도 수학적 증명이 가능함을 입증했다.

  • #앤트로픽
  • #클로드
  • #페르마의마지막정리
  • #인공지능
  • #수학

摘要由 AI 依据原文撰写,并非投资建议。

同一天的其他新闻