实体
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 天
主题
最近 · 第 1/1 页 · 共 2 条
-
Anthropic AI自主推进黎曼猜想研究
一款未发布的Anthropic AI模型自主取得了在150年黎曼猜想的一个子问题上的重大进展。在36小时内，该名为Claude Code的AI模型协调了60个子代理，处理了3100万个token，将满足该猜想的零点的已证明下界从41.6%提高到了67.2%。这一进展曾让数学家们望而却步，它展示了AI在深度形式推理和自主研究管理方面的能力，包括综合现有工作和寻求形式验证。
-
Anthropic 的 Claude 模型在黎曼猜想研究上取得进展，已验证零点比例提升至 67.2% · 跟踪 4 个来源
Anthropic 一款未公开的 Claude 研究模型在黎曼猜想研究方面取得了重大进展，将临界线上已验证零点的下限从 41.6% 提高到了 67.2%。虽然这并非对这个百年猜想的完整证明，但这一成就代表了对一个长期存在的数学记录的实质性改进。据报道，该模型利用了大约 60 个代理的集群，并处理了 3100 万个 token 来探索潜在解决方案和验证结果，展示了一种解决复杂数学研究的新方法。