### [GPT-6 Astra把素数间隔纪录推到186！但这不等于孪生素数猜想被攻克](https://www.zuoshipin.com/article/32210)

**Published:** 2026-09-04T14:00:48

**Author:** 天才交易员

**Excerpt:** OpenAI公布GPT-6 Astra参与完成的素数间隔研究，将H1上界推进至186，并开放论文、Lean 4…

**从人类数学家的240，到Axiom公开的212、Claude相关工作的188，再到OpenAI论文给出的186：AI正开始进入数学研究流程，但“Lean验证完成”背后仍有三个明确前提。**

**先说判断：**这是一个很值得兴奋的结果，但最容易被标题带偏。GPT‑6 Astra参与的OpenAI论文给出**H1≤186**，意思是随着素数无限延伸，间隔不超过186的相邻素数对会无限次出现；它**不是**说所有相邻素数都不超过186，更**不是**证明了相差2的孪生素数有无限多对。

真正重要的变化，是AI不再只做竞赛题或复述现成定理，而是进入文献理解、条件改进、参数搜索、证明组织和机器检查组成的研究链路。

[![OpenAI研究员苏炜杰公布GPT-6 Astra参与推进素数间隔上界至186的消息。](https://admin.zuoshipin.com/wp-content/uploads/2026/09/gpt6-astra-prime-gaps-186-image01.webp)](https://admin.zuoshipin.com/wp-content/uploads/2026/09/gpt6-astra-prime-gaps-186-image01.webp)

OpenAI研究员苏炜杰公布GPT-6 Astra参与推进素数间隔上界至186的消息。 图片为论文及公开讨论截图；点击查看大图。

## 01 / 186到底是什么？先把公式翻译成人话

[![结果的数学表达：相邻素数间隔的下极限不超过186。](https://admin.zuoshipin.com/wp-content/uploads/2026/09/gpt6-astra-prime-gaps-186-image03.webp)](https://admin.zuoshipin.com/wp-content/uploads/2026/09/gpt6-astra-prime-gaps-186-image03.webp)

结果的数学表达：相邻素数间隔的下极限不超过186。 图片为论文及公开讨论截图；点击查看大图。

设第n个素数为pn，公式中的lim inf表示“走到无限远之后，反复出现的较小间隔能压到多低”。H1≤186可以通俗理解为：**无论把数轴拉到多远，仍能不断找到相邻素数，它们的差不超过186。**

孪生素数猜想追求的是H1=2，例如11和13、17和19。186离2仍然很远，因此这项工作是沿着同一方向把可证明上界继续缩小，不是终点。

| 结果  | 含义  | 不能推出 |
| --- | --- | --- |
| H1≤186 | 无限多次出现间隔不超过186的相邻素数 | 所有素数间隔都≤186 |
| 孪生素数猜想 | 无限多对相差2的素数 | 不能由186直接推出 |

## 02 / 从7000万到186，这条路走了13年

2013年，张益唐首次证明存在一个有限常数，使得相邻素数间隔不超过该常数的情况会无限次出现，最初上界是7000万。随后Maynard、Tao与Polymath项目快速改进筛法，公开纪录长期来到246。

2026年8月31日，Julia Stadlmann上传论文，把人类证明推进到240。她结合Bombieri-Vinogradov定理与针对光滑模的新均匀分布估计，扩大筛权重可利用的区域。

[![数学家Thomas Bloom介绍Julia Stadlmann将人类证明上界推进到240的论文。](https://admin.zuoshipin.com/wp-content/uploads/2026/09/gpt6-astra-prime-gaps-186-image06.webp)](https://admin.zuoshipin.com/wp-content/uploads/2026/09/gpt6-astra-prime-gaps-186-image06.webp)

数学家Thomas Bloom介绍Julia Stadlmann将人类证明上界推进到240的论文。 图片为论文及公开讨论截图；点击查看大图。

[![Julia Stadlmann论文摘要：结合Bombieri-Vinogradov定理与光滑模的均匀分布估计得到H1≤240。](https://admin.zuoshipin.com/wp-content/uploads/2026/09/gpt6-astra-prime-gaps-186-image07.webp)](https://admin.zuoshipin.com/wp-content/uploads/2026/09/gpt6-astra-prime-gaps-186-image07.webp)

Julia Stadlmann论文摘要：结合Bombieri-Vinogradov定理与光滑模的均匀分布估计得到H1≤240。 图片为论文及公开讨论截图；点击查看大图。

随后数日，公开信息中又出现Axiom的212、Claude相关形式化工作的188，以及OpenAI的186。由于这些结果集中在极短时间发布，现阶段更准确的说法是**各项目公开或论文给出的新上界**，完整学术影响仍需要同行检查和后续文献确认。

[![Axiom公开宣称把有界素数间隔上界推进到212。](https://admin.zuoshipin.com/wp-content/uploads/2026/09/gpt6-astra-prime-gaps-186-image04.webp)](https://admin.zuoshipin.com/wp-content/uploads/2026/09/gpt6-astra-prime-gaps-186-image04.webp)

Axiom公开宣称把有界素数间隔上界推进到212。 图片为论文及公开讨论截图；点击查看大图。

[![Claude相关Lean形式化工作给出188结果，与OpenAI的186非常接近。](https://admin.zuoshipin.com/wp-content/uploads/2026/09/gpt6-astra-prime-gaps-186-image05.webp)](https://admin.zuoshipin.com/wp-content/uploads/2026/09/gpt6-astra-prime-gaps-186-image05.webp)

Claude相关Lean形式化工作给出188结果，与OpenAI的186非常接近。 图片为论文及公开讨论截图；点击查看大图。

## 03 / GPT-6 Astra做了什么？不是凭空“猜出一个公式”

[![OpenAI论文《Improved Short Gaps Between Primes》摘要明确写出H1不超过186。](https://admin.zuoshipin.com/wp-content/uploads/2026/09/gpt6-astra-prime-gaps-186-image02.webp)](https://admin.zuoshipin.com/wp-content/uploads/2026/09/gpt6-astra-prime-gaps-186-image02.webp)

OpenAI论文《Improved Short Gaps Between Primes》摘要明确写出H1不超过186。 图片为论文及公开讨论截图；点击查看大图。

OpenAI论文称，证明由GPT‑6 Astra给出。核心思路仍建立在解析数论几十年发展的筛法之上：通过扩大多维Maynard-Tao/Selberg筛权重可以使用的区域，更充分利用素数在算术级数中的分布估计，并找到直径为186的显式可容许40元组。

原文将突破概括为新的因子分解条件。通俗地说，模型不是抛弃人类数学重新发明一套体系，而是在现有理论框架里寻找更宽的适用条件、更优的权重与可计算证书，再把它们组织成论文证明。

**研究贡献不能只用“AI还是人类”二选一描述。**模型生成证明路线，研究人员负责问题选择、文献与假设审查、计算环境、形式化设计、结果发布及最终责任，这更接近人机协作研究。

## 04 / “完成Lean验证”需要加一个非常重要的限定词

PrimeGaps186仓库确实提供了Lean 4形式化，构建也通过内核检查。但README第一段就明确写出：**这是条件性形式化，仍依赖三个显式输入公理。**

-   **两项Deligne类型估计：**仓库说明它们可由既有数学文献中的结果支持，但在当前Lean项目中仍作为未被形式化证明的输入。
-   **物理积分上界：**包含104个外部、45个内部积分上界及三个cap bound，以公理方式进入Lean推导。
-   **Python数值证书：**可以重新计算试验并生成`passed: true`的回执，但仓库明确强调，这不会自动消除Lean公理。

**因此最准确的表述是：**Lean验证了“在三个明确前提成立时，后续推导能够得到H1≤186”的条件性证明结构；不能简化成“每一个数学前提和数值步骤都已在Lean里无公理闭合”。

这并不意味着结果无效。公开前提、代码和证书反而让其他研究者可以定位审查范围。它提醒我们：看到“机器验证”四个字时，应继续问验证了什么、依赖哪些axiom、数值计算如何复现。

## 05 / 为什么这件事仍然可能是AI数学的重要分水岭？

过去评价数学模型，常看竞赛题正确率；PrimeGaps186展示的是另一种能力组合：

-   读懂跨越筛法、指数和与均匀分布估计的专业文献；
-   在巨大参数空间里搜索更优条件与权重；
-   形成可供数学家审查的论文级论证；
-   同步生成Lean结构与可复算的数值证书；
-   公开仓库，让外部研究者检查公理和实现。

这比“模型答对一道难题”更接近真实科研，但也更考验透明度。未来AI研究成果的可信度，很可能取决于论文、形式化代码、计算证书、环境锁定和人类审查能否一起公开。

[![社区围绕AI参与证明与纯人类数学成果展开讨论。](https://admin.zuoshipin.com/wp-content/uploads/2026/09/gpt6-astra-prime-gaps-186-image08.webp)](https://admin.zuoshipin.com/wp-content/uploads/2026/09/gpt6-astra-prime-gaps-186-image08.webp)

社区围绕AI参与证明与纯人类数学成果展开讨论。 图片为论文及公开讨论截图；点击查看大图。

## 我们的观点：AI数学竞争将从答案，转向可审计的研究链

186这个数字当然醒目，但更值得长期观察的是研究流程正在变化。人类数学家Julia Stadlmann推进到240，AI实验室又在短时间里交出更小的公开上界；两者不是简单的替代关系。人类建立理论、选择问题和判断价值，AI扩大搜索与组合能力，证明助手则把逻辑责任变得更可检查。

**真正的进步不是AI“看起来会证明”，而是它给出的研究能否被复现、被审计、被反驳，也能在经受同行检查后留下来。**

## 论文、开源项目与站内导航

**PrimeGaps186站内导航：**  
[https://www.zuoshipin.com/link/32209.html](https://www.zuoshipin.com/link/32209.html)

**GPT-6 Astra站内导航：**  
[https://www.zuoshipin.com/link/32152.html](https://www.zuoshipin.com/link/32152.html)

**GPT-6 Astra发布与能力解析：**  
[https://www.zuoshipin.com/article/32153](https://www.zuoshipin.com/article/32153)

**OpenAI素数间隔论文：**  
[https://cdn.openai.com/pdf/51126fac-1b68-4128-9666-c908bcc16033/short\_gaps.pdf](https://cdn.openai.com/pdf/51126fac-1b68-4128-9666-c908bcc16033/short_gaps.pdf)

**PrimeGaps186开源仓库：**  
[https://github.com/openai/PrimeGaps186](https://github.com/openai/PrimeGaps186)

**OpenAI GPT-6 Astra官方发布：**  
[https://openai.com/index/gpt-6-astra/](https://openai.com/index/gpt-6-astra/)

**Julia Stadlmann的H1≤240论文：**  
[https://arxiv.org/abs/2608.31126](https://arxiv.org/abs/2608.31126)

**Tags:** AI数学, GPT-6 Astra, Lean 4, 素数间隔

**Categories:** AI资讯

---