#黎曼猜想

Anthropic的新模型在黎曼猜想上取得了进展，虽然没完全解决，但比预期强，值得看看AI在数学上能走多远。

techcrunch@Russell Brandom10 个信源在谈原文

想看AI数学推理到底行不行？Marcus说Claude解黎曼猜想靠的是符号+神经混合，不是纯神经网络。

Gary Marcus@GaryMarcus原文

Anthropic 的 Claude 把黎曼猜想零点下界从 41.6% 提到 67.2%，还放出论文和 Lean 证明，数学和 AI 圈都值得看看。

Anthropic偷偷用新模型刷了数学纪录，下界直接拉高，数学和AI圈都该看看。

量子位@一水11 个信源在谈原文

Claude 把黎曼零点下界从 41.6% 推到 67.2%，人类 50 年才推不到 9 个百分点，它一步干了 26 个点。

宝玉@dotey11 个信源在谈原文

Anthropic未发布Claude把黎曼猜想下界从41.6%推到67.2%，数学能力又进一步。