一龍馬/AI 情報站讀懂消息背後的脈絡
星期六
搜尋

這篇論文在黎曼猜想成立的前提下,證明二進位真前綴都不含奇質數的整數,其倒數總和會收斂;並不是證明黎曼猜想本身

中文摘要

作者結合短區間質數分佈與質數對篩法,建立占比的衰減上界,並得到小於第 72 個費波那契數、約 5×10¹⁴ 的總和上界。論文另報告無條件計數所得的 3.5276 下界,但約 3.877 的總和只是啟發式估計;Lean 4 形式驗證也是作者報告,本次未獨立執行。

一龍馬判讀

對解析數論與形式化證明社群而言,此例展示如何把條件式解析結果連同巨大常數完整機械化,但上界與猜測真值落差極大,且結論仍繫於尚未證明的猜想。

原文節錄

Hacker News · jdb1729

Assuming the Riemann Hypothesis

取得部分原文 · 不代表內容已獨立查證

查看原文 閱讀社群討論
完整收錄文字與來源

The reciprocal sum of the prime-prefix-free numbers converges [pdf]

收錄日期
2026-10-10
來源
Hacker News Firebase API
抓取時間
2026/10/10 05:40(台北)
來源資料
14 分 · 14 則討論