标签: 大模型

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

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

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