AI 通过撰写史上最长证明解决 350 年历史数学难题
人工智能刚刚通过撰写有史以来最长的证明，解决了这道已有350年历史的数学难题 - Decrypt
阅读原文
本站未展示全文，请前往来源网站阅读。
AI 导读
AI 通过撰写有史以来最长的证明，解决了一道已有 350 年历史的数学难题。该证明由 AI 生成，长度创下纪录。
来源：news.google.com（经 Hacker News） · news.google.com
人工智能刚刚通过撰写有史以来最长的证明，解决了这道已有350年历史的数学难题 - Decrypt
本站未展示全文，请前往来源网站阅读。
AI 通过撰写有史以来最长的证明，解决了一道已有 350 年历史的数学难题。该证明由 AI 生成，长度创下纪录。
来源：news.google.com（经 Hacker News） · news.google.com