Anthropic 披露,一个未发布的 Claude 研究版本在尝试黎曼猜想时,虽未能解决这一百年难题,却意外将黎曼 zeta 函数零点在临界线上的比例下界从 41.6% 提升至 67.2%。
该成果借鉴了 Baluyot、Goldston 等数学家的近期研究。Claude 在 Claude Code 中耗费 3100 万输出 token,协调约 60 个子代理运行数千次数值检验。Anthropic 两位数学家与外部专家 Brian Conrey、Dan Goldston 已审查验证,Claude 还生成了可形式化验证的 Lean 证明。
AnthropicAI
🌸 在花频道 · 茶馆水群 · 投稿通道
😁 92 😱 36 ❤️ 7 👍 7 🖕 6 👀 5 😐 2 👎 1 🤔 1