Anthropic 让未公开的 Claude 冲击拥有 167 年历史的黎曼猜想,虽然未能彻底证明,但成功将已知零点比例从 41.6% 提升到了 67.2%,

Anthropic 让未公开的 Claude 冲击拥有 167 年历史的黎曼猜想,虽然未能彻底证明,但成功将已知零点比例从 41.6% 提升到了 67.2%,一举打破了保持 37 年的数学纪录。在过程中,Claude 化身为由 60 个子 Agent 组成的自主科研团队,完成了数千次实验与程序验证,甚至用 Lean 编写了形式化证明。一起来看看怎么回事吧!#Anthropic# http://t.cn/AXN6OJoW
分类