标签: ChatGPT

Anthropic details an unreleased Claude model’s attempt to solve the Riemann hypothesis; it didn’t solve it but “unexpectedly” made strides on a related problem (Anthropic)

Anthropic details an unreleased Claude model's attempt to solve the Riemann hypothesis; it didn't solve it but "unexpectedly" made strides on a related problem (Anthropic)

Anthropic 公布了一个未发布 Claude 模型尝试攻克黎曼猜想的测试细节:它没有证明这一世纪难题,却在相关问题上取得了"意料之外"的进展。值得关注的不只是结果,而是前沿大模型在长链条数学推理上展现出的能力边界。

Claude将黎曼猜想的界限从41.6%推进至67.2%

Claude将黎曼猜想的界限从41.6%推进至67.2%

Jarred Sumner 让 Claude 挑战黎曼猜想,虽然未能终结猜想本身,但 Claude 在 1.5 天内将“临界线上零点占比”的已知下限从 41.6% 推进到至少 67%,并将证明在 Lean 中形式化。这展示了大模型在数学研究中连接已有成果、辅助构造证明的潜力,值得关注。