Millennium Problems

Anthropic 的 Claude 使用人工智能研究方法在黎曼猜想问题上取得进展

Anthropic 的研究版 Claude 在一个与黎曼猜想相关的、已有 160 年历史的数学挑战问题上取得了重大进展。虽然 Claude 并未解决黎曼猜想本身，但它将临界线上零点的下界从 41.6% 提高到了 67.2%。该 AI 通过使用 60 个子代理、3100 万个输出 token，并运行数百个 Python 脚本来验证数学值，从而实现了这一目标，展示了一个复杂的研究过程。