独家｜对话硅谷独角兽Axiom：00后创始人，6个人、两周秘密实验，AI如何打破十年素数间隔问题纪录？
Z Potentials · 商业与创投
原创 Z Potentials 2026-09-06 15:21 北京 一种新的数学研究范式。 9月4日，AI for Math公司Axiom Math宣布，在有界素数间隔问题上，将这一上界进一步推进到212——即证明，存在无穷多对相邻素数，它们之间的距离不超过212。 实现这一突破的，是一支 兼具顶级数学背景与AI基础设施实力 的跨界团队。 Axiom成立于2025年，创始人是洪乐潼，毕业于MIT数学与物理专业，曾获 Rhodes Scholar，并进入斯坦福攻读数学博士，她创办Axiom时只有24岁。CTO Shubho Sengupta曾在Meta FAIR工作八年，长期负责大规模AI训练与研究基础设施；首席数学家Ken Ono是国际顶尖的数论学家，AI研究负责人François Charton此前在Meta从事机器学习与数学推理研究，开创性地使用Transformer 架构去解决高阶数学与符号计算难题。 一个十余年几乎没有松动的纪录，突然在几天之内连续变化。 此前，Julia Stadlmann刚刚将保持多年的素数间隔从 246 推进到 240 ；随后，Axiom又借助 AI驱动的搜索、计算与验证，把这一数字进一步压到 212 。而就在Axiom宣布 212后不久，OpenAI又公开了一套关于素数间隔 186 的结果。 短短几天里，素数间隔问题突然进入了一轮由AI加速的密集突破期。 Axiom团队告诉ZP，Axiom和 OpenAI 在“做数学”的基本方法上很可能是相似的：都通过Agent提出证明策略和优化方案，再用Python和Lean进行验证。 不同之处在于，Axiom更强调数学表达本身的质量，包括人类可读的非形式化论文，以及高质量的Lean形式化证明。Axiom还提到，OpenAI在这次结果的形式化过程中使用了其PrimeGapsLib。 Axiom此次发的新论文 链接： https://primegaps.axiommath.ai/bgp212.pdf 而在这轮快速推进之前，关于素数间隔的上一项公认纪录 246 ，已经保持了十余年。 2013年，张益唐首次证明，相邻素数之间存在一个固定的有限上界，将此前“是否存在有限上界”的问题推进到 7000万 。随后，牛津大学数学家James Maynard 提出一套不同的筛法，将这一上界大幅降至 600 。这项工作也成为他后来获得 2022年菲尔兹奖的重要研究贡献之一。在此基础上，Maynard、陶哲轩以及一批数论学家通过Polymath8b协作项目继续优化，最终将数字推进到 246 。此后十余年，这一纪录几乎没有再发生变化。 Axiom CTO Shubho Sengupta 在宣布这一结果时写道：“我们正在推动数学的边界。我们把素数间隔降低到了212——这是建立在该领域最新工作的基础之上的。” 这并不是一次传统意义上依靠少数数学家纸笔推演完成的证明。Axiom向ZP透露， 这并不是几位数学家坐在办公室里靠纸笔完成的一次传统证明。参与项目的是一支混合团队： 数论学家、应用数学家、工程师，以及AxiomProver。 论文明确写道， 212背后的核心解析思想来自Stadlmann， Axiom团队在分布式计算集群上进行了大规模数值实验，对不同解析估计、积分区域和参数组合反复优化，主要强化了三处关键环节。第一， 不再过早把复杂条件简化成统一的充分条件；第二，不再只检查最坏情况，而是在连续参数空间里逐一验证；第三，补上了x1/2附近原本最棘手的“过渡区”。这些改进扩大了筛法真正可利用的参数空间。再配合对参数与变分问题的持续优化，团队最终让关键指标越过证明所需的临界值，并找到一组直径为212的45元admissible tuple ，由此得到新的结果 Shubho透露， 这项工作的内部代号是一个只有大约六个人知晓的 “Skunkworks”项目 。整个项目持续约两周。一次完整的数值实验大约需要 六天 。工程团队随后通过大规模并行化、预计算以及更高效的特征值求解方法，将一次实验压缩到了 几个小时 。 212并不是Axiom最近第一次因为素数间隔进入公众视野。就在几周前，这家公司刚刚完成了另一项与246有关的工作： 让AxiomProver对“素数间隔不超过 246”这一结果完成大规模Lean形式化。 Axiom的结果公布后，很快引发了数学界和科技圈的讨论。 文艺复兴科技B Capital Group董事长 Howard Morgan 转发相关进展时写道： “这是这家公司一个重要的成果。不确定大家是否已经准备好让计算机去拿菲尔兹奖，不过这个AI倒确实还不到40岁:)” 另一位研究者 Andrew M. Dai 则评价： “Axiom又做出了令人难以置信的数学工作，此前相关方向的成果