Claude黎曼证明获人类验证,Lamzouri给出更优雅新证法
新智元 · wechat · 2026-09-06
上个月 Anthropic 用内部 Claude 证明了超过 2/3(67.25%)的 zeta 零点位于临界线且为单零点,打破 37 年停留在 41.6% 的纪录。如今数论学家 Youness Lamzouri 已彻底验证该结果,并给出一条更简洁优雅的新证明,而 Axiom Prover 数小时内便完成了 Lean 形式化验证。
- AI 暴力证明:Claude 用随 N(T) 增长的巨大矩阵硬算迹与 Hilbert–Schmidt 范数,靠复杂秩-迹不等式将下界推到 67.25%,证明极晦涩,陶哲轩曾吐槽此类 AI 证明难以消化。
- 人类反击:Lamzouri 砍掉庞大矩阵,用一条希尔伯特空间不等式归约问题,套用无条件版 Montgomery 定理(BGST)完成优雅证明。
- 机器验证时代:Axiom Prover 几小时内自动形式化整份证明(Lean 证书开源);不到 24 小时 Axiom 团队又在孪生素数猜想上把素数间隔上限从 240 推进到 212。
传统「提出猜想—证明—漫长同行评审」流程正被「突破当天即机器验证」取代,黎曼猜想还剩最后 32.75%。
「研究」频道最新
- Kaggle 联手谷歌量子推出电路编译竞赛，奖金 15 万美元 — JFPuget · 2026-10-23
- 扩散语言模型的偏见排名随采样配置改变,去偏后仍不稳定 — Bollegala · 2026-10-23
- 聚合各实验室 tokenizer 发现约 994 个跨代稳定的通用 token — kalomaze · 2026-10-23
- 研究者让 Grok 自己写提示词，追查 X 上 LLM 驱动的阿联酋水军网络 — FlorianGallwitz · 2026-10-23
- 开发者把 Qwen3-0.6B 改造成 MoE：质量下降，0.6B 级别提速有限 — Bayliner1980 · 2026-10-23
- 腾讯 WeVisOne-VL 发布:统一物体级到像素级视觉感知 — jacek2023 · 2026-10-23