AI 助攻黎曼猜想研究，新证将关键常数上界压至 0.178
ctjlewis · x · 2026-08-22
Jude Gomila 发布了一项利用 AI 辅助探索数论难题的成果：将 de Bruijn–Newman 常数 Λ 的上界从 0.2 降低至 0.1787854。该常数与黎曼猜想密切相关（若 Λ ≤ 0 则猜想成立）。
- 方法：结合 Polymath 15 准则与区间证书（interval certificates）。
- 验证：通过超过 300 万个窗口的机器验证零点，以及覆盖无穷远处的引理证明。
- 形式：提供了完整的证明 walkthrough、动画演示及审计仓库链接，邀请社区进行对抗性检查与迭代。
「研究」频道最新
- Equilibrium Forcing：无需噪声条件的自适应视频生成 — kwangmoo_yi · 2026-08-22
- 深度播客：世界模型如何解锁物理 AI 与机器人技术 — risingodegua · 2026-08-22
- OpenBind 发布：基于 OpenFold3 的小分子共折叠模型 — MoAlQuraishi · 2026-08-22
- 新研究用 LLM 代码生成驱动进化算法，自创专家 API — kenneth0stanley · 2026-08-22
- Yukon 排行榜更新：改按总贡献速度比排名 — morgymcg · 2026-08-22
- NeurIPS 26 长上下文基础模型研讨会征稿开启 — danqi_chen · 2026-08-22