孪生素数上界被推进至 186⚡
📜纪录变迁时间线 2013 年张益唐证明上界 7000 万，后续学界逐步压缩到 246。 8.31 牛津数学家 Julia Stadlmann 更新到 240 9.3 Axiom Math 把界限推至 212 几小时后，GPT‑6 Astra 给出全新结果 186。 人类耗费 12 年走到 246，AI 仅用 3 天完成 240 到 186 的跨越。
💡并非暴力穷举 模型挖掘出「三重稠密可除性」条件，放宽模数限制，拓展 Selberg 筛法权重范围。 放弃浮点数近似计算，改用严格有理数运算，避开数值误差陷阱。 在 40 维架构下优化误差分配，把积分比值推过临界值。
✅严谨验证 OpenAI 开源仓库 PrimeGaps186，输出完整 Lean4 形式化证明与数值证书。 证明属于条件成立，依赖 3 条已被人类数学文献证实的公理，尚未全部转写成 Lean 代码。 同步放出 CoT 思维链文档，可以看到模型试错、自我纠错的完整思考流程。
👨‍🔬学界反馈 北大 07 级数学系苏炜杰感慨，亲眼见证这一突破，如同亲历智能新时代到来。 弗吉尼亚大学教授 Ken Ono 评价，9 月 3 日是数论史上非常疯狂的一天。
⚠️现实距离 186 只是素数间距上界，孪生素数猜想最终目标是无穷多对差值等于 2 的素数，中间还有巨大鸿沟。AI 目前是前沿科研助力，还没有彻底解决这个百年猜想。
想要了解更多有趣的 AI 研究，记得关注我哦