曝 OpenAI 未发布模型证明准黎曼假设,Lean 形式化已放出
ChrisGPT · x · 2026-10-07
博主 ChrisGPT 爆料,OpenAI 一个未发布的 AI 模型据称证明了准黎曼假设(quasi-Riemann hypothesis),并已随论文放出 Lean 形式化证明。若被证实,将是数论与 AI 史上的标志性突破。
要点:
- 该结果与素数分布深刻相关,将对素数计数偏离预期模式的范围给出更强上界
- 论文还推导出对多个长期悬而未决的数论问题的推论
- 附带「模素数平方根的确定性算法」这类保证性结果
- 目前属于未经官方证实的爆料,需等待论文同行审验
「模型」频道最新
- OpenAI 安全人员自述:内部模型解决 Navier-Stokes「完全超出预期」 — i_dg23 · 2026-10-07
- 烧掉 3000 亿 tokens 攻 Hadwiger–Nelson 问题,下界从 5 提升到 6-7 色 — soumitrashukla9 · 2026-10-07
- GPT 6 Pro 盘点近三年发现：81% 由 AI 做出今日发布 — willdepue · 2026-10-07
- 新论文反驳「换性别就翻答案即偏见」：改写措辞同样会翻 — yoavgo · 2026-10-07
- Grok Bot iOS 更新至 1.14.0，消息发送与回复更快 — tetsuoai · 2026-10-07
- 开发者提醒：OpenRouter 份额、缓存命中率等指标可被营销操纵 — charles_irl · 2026-10-07