WangNextDoor(@WangNextDoor2):8月10日，Anthropic未发布研究版Claude被要求“认真尝试黎曼猜想”，结果没证明它，却意外刷新纪录！它把黎曼ζ函数非平凡零点位于临界线上的已知下界，从人类几十年努力的41.6%一口气拉到67.2%（精确约0.6725），并证明至少三分之二是简单零点。这是解析数论领域近年最大的定量跳跃之一。过程：先试650个失败思路，再调动约60个子代理协作一天半，耗3100万token，跑2400条命令，最终结合现有技术得出新结果。已由内部数学家+Conrey、Goldston验证，还有Lean形式化证明。注意：这不是解决黎曼猜想，方法也推不到100%。但AI在真正数学前沿的能力，又一次让人眼前一亮。 #黎曼猜想 #Claude #Anthropic #AI数学

2026.08.11 14:19

8月10日，Anthropic未发布研究版Claude被要求“认真尝试黎曼猜想”，结果没证明它，却意外刷新纪录！它把黎曼ζ函数非平凡零点位于临界线上的已知下界，从人类几十年努力的41.6%一口气拉到67.2%（精确约0.6725），并证明至少三分之二是简单零点。这是解析数论领域近年最大的定量跳跃之一。过程：先试650个失败思路，再调动约60个子代理协作一天半，耗3100万token，跑2400条命令，最终结合现有技术得出新结果。已由内部数学家+Conrey、Goldston验证，还有Lean形式化证明。注意：这不是解决黎曼猜想，方法也推不到100%。但AI在真正数学前沿的能力，又一次让人眼前一亮。 #黎曼猜想# #Claude# #Anthropic# #AI数学#

显示更多