● Claude 在黎曼猜想相关问题上取得重大数学突破

📌 一句话摘要 Anthropic 宣布研究版 Claude 将黎曼 ζ 函数非平凡零点落在临界线上的已知比例下界从 41.6% 提升至 67.2%，实现了数学史上最大的单步提升。 📝 详细摘要 Anthropic 披露一个研究版 Claude 在尝试证明黎曼猜想时，成功将零点比例下界从 41.

● Hyra 攻克加法组合学 50 年未解难题

📌 一句话摘要 Hyra AI 通过利用十二进制结构和中国剩余定理，给出加法组合学中和集与差集指数问题的完整构造，证明上确界为 2。 📝 详细摘要 文章介绍了腾讯混元团队的科研智能体 Hyra 在开源 Hy3 模型基础上，解决了悬而未决半个多世纪的加法组合学问题：通过有限整数集合的和集（A+A）

● 陶哲轩 12 年前的预言，现在 AI 帮他兑现了

📌 一句话摘要 本文回顾陶哲轩从 12 年前预言到亲自下场，通过 Lean 形式化证明与 AI 协作，将大规模数学协作从设想变为现实的历程。 📝 详细摘要 文章以陶哲轩 2014 年关于「形式化语言取代 LaTeX」的预言为引，梳理了他从 Polymath 项目到 Lean 形式化证明、再到 E