素数间隔纪录一周内三度刷新,AI 系统将上界从 246 推进至 186

Singularitarian · x · 2026-09-05

有界素数间隔问题的进展时间线令人惊叹：1849 年 de Polignac 提出猜想，2013 年张益唐证明间隔 ≤ 7000 万，随后 Polymath8 与 Maynard/Tao 一路推进，2014 年定格在 ≤ 246，此后 12 年无进展。

2026 年 8 月底至 9 月，纪录被快速刷新：Julia Stadlmann 证明 ≤ 240；9 月 3 日，AI 数学系统 AxiomMath 几小时内将上界推至 ≤ 212，随后 Astra 进一步做到 ≤ 186。形式化方面：FrenzyMath 无条件形式化 BGP600，AxiomMath 无条件形式化 BGP246，Astra 形式化 BGP186（依赖 Kloosterman 估计与一个大型数值证书）。