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、动画演示及审计仓库链接，邀请社区进行对抗性检查与迭代。
「研究」频道最新
- WEDGE 论文：把导航失败经历变成可学习的训练环境 — _akhaliq · 2026-10-16
- RExBench 基准:最强编码 Agent 自主完成研究扩展成功率仅 33% — najoungkim · 2026-10-16
- Google 发布 CLASHarness:基准测试多智能体冲突下的计算机操作能力 — google · 2026-10-16
- 清华团队证明:普通 Flow Matching 采样无法突破固定深度模型表达力上限 — SQZ · 2026-10-16
- APEX-Harm 基准:共享工作区中脚本注入攻击对智能体成功率居高不下 — KAUST · 2026-10-16
- USC 研究:智能体 residual stream 状态可预测并拦截越权动作与事后撒谎 — USC · 2026-10-16