English(EN) Claude and I beat Claude's previous proof of the proportion of online zeta zeros. It's now 67.348%.

AI 助力新的数学证明记录，超越 Anthropic 的 Claude

作者 PulseAugur 编辑部 · [1 个来源] · 2026-10-05 21:49

一位用户在形式化验证与在线 zeta 零点相关的数学证明方面创下了新纪录，超越了 Anthropic 的 Claude 此前的一项证明。这项在专业排行榜上得到验证的新证明，完成了 67.348%。这一进展凸显了 AI 在数学研究中日益增长的作用，挑战了 AI 生成的证明本质上难以理解的观念。 AI

影响凸显了 AI 在形式化和验证数学证明方面日益增长的作用，可能改变数学研究的格局。

排序理由该项目讨论了一项新的数学证明及其验证，属于研究范畴。[lever_c_demoted from research: ic=1 ai=1.0]

AI 生成摘要 · Google Gemini · 来自 1 个来源。我们如何撰写摘要 →

本文如何被排名

Signal score: 3 / 100; Composite score across the factors below. Higher = stronger signal that this story matters right now.
Newsworthiness bucket: Tool; 该项目讨论了一项新的数学证明及其验证，属于研究范畴。[lever_c_demoted from research: ic=1 ai=1.0]
Source corroboration: Single-source cluster; Only one publisher covered this so far. Single-source stories can still rank when the publisher is high-authority, but they lack cross-source corroboration.
Topics: paper, other; Editorial topic classification. Feeds into how the story surfaces on /topic/<slug> hub pages and into the per-entity coverage mix.
AI-industry relevance: High; Clearly on-topic for AI-industry coverage.
Story freshness: Breaking (< 6h); Fresh story with cross-source coverage still developing. Ranking may shift as more sources report.

完整方法见我们的编辑标准。

r/ClaudeAI TIER_2 English(EN) · /u/Just_Shallot_6755 · 2026-10-05 21:49

Claude 与我打破了 Claude 此前关于在线 zeta 零点比例的证明。现在是 67.348%。

<div class="md"><p>So, somebody created this website: <a href="https://www.riemannzeta.fun">https://www.riemannzeta.fun</a></p> <p>It's a very specific lean proof checking leaderboard, and it is based on the type of proof Anthropic used in their August (65.25%) res…