AI 产品

AI系统Claude尝试黎曼假设取得突破，虽败犹荣改进数学下界

首次出现 8月11日 04:33·最近更新 8月11日 04:33

Anthropic公司让其未发布的Claude AI版本挑战著名的黎曼假设。虽然Claude未能成功证明该假设，但在研究过程中意外改进了黎曼ζ函数零点已知满足假设的比例下界，从41.6%提升至67.2%。Claude通过协调60个子代理、测试数百个想法、搜索文献并形式化证明等方式自主进行研究，展示了AI驱动科学发现的早期潜力。这是基于已确认事实的描述，不包括对未来的预测。

多来源证据

Twitter/X AI List·twitter·8月11日 02:24

绝对疯狂。这可能是迄今为止关于AI将如何变革科学发现的最清晰一瞥。Anthropic要求一个未发布的Claude版本尝试

绝对疯狂。这可能是迄今为止关于AI将如何变革科学发现的最清晰一瞥。Anthropic要求一个未发布的Claude版本尝试攻克黎曼假设，这是数学中最著名的未解决问题之一。它失败了。但在失败过程中，Claude意外改进了一个长期存在的下界，即黎曼ζ函数已知满足假设的零点比例，从41.6%提升到67.2%。Claude协调了60个子代理，测试了数百个想法，搜索了文献，挑战了自己的证明，并在Lean中形式化了结果。这就是自主AI驱动科学发现开始的样子。讽刺的是，黎曼假设可能很快就会被解决。我无语了。

事件时间线

8月11日 02:24
Twitter/X AI List
绝对疯狂。这可能是迄今为止关于AI将如何变革科学发现的最清晰一瞥。Anthropic要求一个未发布的Claude版本尝试