AITOPAI热报

黎曼猜想

共 8 条相关 AI 资讯
8月12日
00:31
00:31techcrunch@Russell Brandom
83°
Anthropic的一个未发布模型在数学领域最著名的未解问题之一——黎曼猜想上取得了进展。该模型在相关基准测试中表现优于现有模型，尽管未能完全解决猜想，但展示了AI在数学推理方面的潜力。这一成果可能对数学研究产生深远影响。
AI模型Anthropic黎曼猜想数学推理
事件专题
推荐理由：Anthropic的新模型在黎曼猜想上取得了进展，虽然没完全解决，但比预期强，值得看看AI在数学上能走多远。
原文
8月11日
22:34
22:34Gary Marcus@GaryMarcus
Gary Marcus在X上发文称，Claude在黎曼猜想上的表现再次证明混合神经符号AI的价值。他指出，如果去掉其中的符号部分，仅靠神经网络无法成功解决该问题。这被视为神经符号AI在数学推理领域的重要验证。
AI模型ClaudeGary Marcus神经符号AI
推荐理由：想看AI数学推理到底行不行？Marcus说Claude解黎曼猜想靠的是符号+神经混合，不是纯神经网络。
原文
19:02
19:02IT之家（博客/媒体）
88°
Anthropic 于 8 月 11 日宣布，未公开的研究版 Claude 在攻克黎曼猜想中取得进展，将临界线上零点比例下界从 41.6% 提升至 67.2%。Claude 在 Claude Code 中自主完成研究，生成 3,100 万个 Token，经历 650 次失败后调集 60 个子级智能体，执行 2,400 条 Shell 命令并编写数百个 Python 脚本。结果经内部数学家莱文特·阿尔波格和拉尔夫·弗曼验证，并由外部专家布赖恩·康雷和丹·戈德斯顿审阅，证明已写成 Lean 可验证形式。Anthropic 公布了论文、过程记录及形式化证明，但未透露多智能体能力是否近期开放。
AI模型ClaudeAnthropic黎曼猜想
事件专题
推荐理由：Anthropic 的 Claude 把黎曼猜想零点下界从 41.6% 提到 67.2%，还放出论文和 Lean 证明，数学和 AI 圈都值得看看。
原文
14:33
12:59
04:53
04:53宝玉@dotey
91°
Anthropic 今日公开了一个未发布研究版 Claude 的数学结果：它把黎曼 ζ 函数非平凡零点在临界线上的已知比例下界从 41.6% 提高到 67.2%。此前人类数学界从 1974 年 Levinson 的 33% 到 2020 年 Pratt 等人的 41.7%，花了近 50 年。Claude 结合了多位数学家近年论文与 Bombieri 2000 年的工作，Anthropic 数学家 Alpöge 和 Furman 已审查验证。Claude 还用 Lean 写出了可机器验证的证明。这次探索由 60 个子智能体协作，运行了 2400 条命令。
AI模型ClaudeAnthropic黎曼猜想
事件专题
推荐理由：Claude 把黎曼零点下界从 41.6% 推到 67.2%，人类 50 年才推不到 9 个百分点，它一步干了 26 个点。
原文
04:31
04:31官方一手Anthropic: Research（资讯）
72°
Anthropic于8月10日发布研究称，未发布的Claude研究版在黎曼猜想相关问题上取得进展。该版本将黎曼ζ函数满足猜想的零点比例下界从41.6%提高到67.2%。研究来自Anthropic，展示了Claude在数学推理上的能力。
论文ClaudeAnthropic黎曼猜想
事件专题
推荐理由：Anthropic未发布Claude把黎曼猜想下界从41.6%推到67.2%，数学能力又进一步。
原文
01:57
01:57官方账号Anthropic@AnthropicAI
精选72°
Anthropic让未发布的研究版Claude尝试解决黎曼猜想。它没有证明该猜想，但将黎曼ζ函数满足猜想的零点比例下界从41.6%提高到67.2%。相关研究细节已发布在Anthropic研究页面上。
AI模型ClaudeAnthropic黎曼猜想
事件专题
推荐理由：Anthropic让Claude研究版试解黎曼猜想，没解得动，却把下界从41.6%拉到67.2%，AI数学能力又往前一点。
原文