素数间隔纪录一周内三度刷新,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 估计与一个大型数值证书）。
「研究」频道最新
- 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