STORY · 事件进行中

Anthropic 发布 Claude 研究版在黎曼猜想相关问题上取得进展

5 个精选信源 · 5 篇报道持续 1最新动态 1小时前
最新进展

Claude 研究版将黎曼 zeta 函数零点下界从 41.6% 提升至 67.2%,提升幅度达 25.6 个百分点。

DIGEST

事件全貌

AI 综述 · 更新于 1小时前

Anthropic 让一个未发布的研究版 Claude 尝试攻克黎曼猜想,虽未成功,但在相关问题上取得突破:将满足黎曼猜想的黎曼 zeta 函数零点比例下界从 41.6% 提升至 67.2%。

该成果被部分评论者视为自 2013 年有界素数间隔以来解析数论领域最重大的突破,将临界线上已被证明的零点比例提升了 25.6 个百分点,而此前 37 年间数学家们仅将其推进了 0.8 个百分点。

Claude 在过程中协调了 60 个子智能体,测试了数百个想法,检索了文献,并使用 Lean 形式化验证了结果,被视为自主 AI 驱动科学发现的早期范例。

本综述由 AI 汇总全部报道生成,随事件进展持续更新;下方时间线中的单篇报道保留其发布时的原貌。

TIMELINE

报道时间线

5 条公开报道 · 官方一手 2 条 · 最新在前
  1. Claude 在黎曼猜想相关问题上取得新进展:下界从 41.6% 提升至 67.2%
    Hacker News 热门(buzzing.cc 中文翻译)

    Anthropic 让未发布的研究版 Claude 尝试攻克黎曼猜想,虽未成功,却在相关问题上取得突破:将满足黎曼猜想的 zeta 函数零点比例下界从 41.6% 提升至 67.2%。

  2. Claude 未解黎曼猜想却改进关键下界
    X:Kim (@kimmonismus)

    Anthropic 让未发布版 Claude 尝试黎曼猜想,虽未解决,却将满足猜想的黎曼 zeta 函数零点比例下界从 41.6% 提升至 67.2%。Claude 协调 60 个子智能体、测试数百个想法并检索文献,还用 Lean 形式化验证了结果。这被视为自主 AI 驱动科学发现的早期范例。

  3. Claude 推动黎曼猜想证明率跃升25.6个百分点
    X:Deedy Das (@deedydas)

    Claude 的这一惊人成果,是自 2013 年有界素数间隔以来解析数论领域最重大的突破。 它将黎曼 zeta 函数临界线上已被证明的零点比例提升了 25.6 个百分点。而在此前 37 年间,数学家们仅将其推进了 0.8 个百分点。

  4. Claude 研究版推进黎曼猜想相关证明
    X:Anthropic (@AnthropicAI)官方一手

    我们让一个未发布的研究版 Claude 尝试攻克黎曼猜想。 它没有解决该猜想,但在一个相关问题上取得了进展:它将满足该猜想的黎曼 zeta 函数零点比例的下界从 41.6% 提高到了 67.2%。 https://www.anthropic.com/research/riemann-zeta

  5. Claude 未发布研究版将黎曼 zeta 函数零点下界从 41.6% 提升至 67.2%
    Anthropic:Research(发表成果 · 网页)官方一手精选

    Anthropic 员工让 Claude 尝试攻克黎曼猜想,虽未成功,但一个未发布的研究版 Claude 在相关问题上取得突破:将满足黎曼猜想的 zeta 函数零点比例下界从 41.6% 提升至 67.2%。