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

作者也明說這不等於證明黎曼猜想,因為方法無法推到 Λ ≤ 0

中文摘要

Jude Gomila 發文宣稱以電腦輔助證明,把 de Bruijn–Newman 常數 Λ 的已知上界從 0.2 降到 0.1787854;文章稱使用 Polymath 15 criterion、區間憑證與精確算術,包含 3,149,013 + 883 + 1 個機器檢查的 interval certificates,並連到稽核 repo、PDF 與獨立審查紀錄。作者也明說這不等於證明黎曼猜想,因為方法無法推到 Λ ≤ 0。HN 討論多半不是在驗證數學本身,而是質疑 AI 生成數學文章的可讀性、作者實際掌握程度,以及 Lean/機器檢查是否真的把審查負擔降到很低。

一龍馬判讀

如果證明與憑證經專家確認,這會是黎曼猜想周邊常數上界的小幅但具體推進;但目前從公開節錄無法獨立判定正確性,真正瓶頸仍是專業審查與定義、形式化鏈條是否完全對上。

原文節錄

Hacker News · judegomila

Λ ≤ 0.1787854 — a new bound for the de Bruijn–Newman constant, explained Jude Gomila Explorations Posts Investments A complete walkthrough of the proof A…

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

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

A new ceiling for Λ: the de Bruijn–Newman constant

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