#黎曼猜想

OpenAI 让 ChatGPT Pro 写数学证明，平均每个结果只花 3 小时算力，还声称搞定拟黎曼假设，数学圈已经炸了。

kimmonismus@kimmonismusSource

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

techcrunch@Russell BrandomSource

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

Gary Marcus@GaryMarcusSource

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

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

量子位@一水Source

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

宝玉@doteySource

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