实体
Ralph Furmaniak
Ralph Furmaniak
PulseAugur coverage of Ralph Furmaniak — every cluster mentioning Ralph Furmaniak across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
2
90 天内 2
层级分布 · 90 天
主题
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
Anthropic AI自主推进黎曼猜想研究
一款未发布的Anthropic AI模型自主取得了在150年黎曼猜想的一个子问题上的重大进展。在36小时内，该名为Claude Code的AI模型协调了60个子代理，处理了3100万个token，将满足该猜想的零点的已证明下界从41.6%提高到了67.2%。这一进展曾让数学家们望而却步，它展示了AI在深度形式推理和自主研究管理方面的能力，包括综合现有工作和寻求形式验证。
-
Anthropic 的 Claude 模型利用 AI 代理推进黎曼猜想记录
Anthropic 未发布的 Claude 研究模型在数学上取得了重要里程碑，它提高了黎曼 zeta 函数零点位于临界线上的比例的下限。该模型使用了大约 60 个代理，处理了 3100 万个 token，将这个下限从 41.6% 提高到了 67.2%。虽然这并不构成黎曼猜想的完整证明，但它代表了对一个长期存在的数学记录的重大改进，展示了 AI 在开放式研究问题中日益增长的能力。