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

疼惜的梦

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