AI两周破十年素数纪录 Axiom把246压到212

时间：2026年9月4日硅谷Axiom Math公布结果，国内多家媒体9月6日报道；OpenAI随后亦公布188/186相近结果，Anthropic团队亦在跟进。 地点：美国加利福尼亚州帕罗奥图（Palo Alto），AI for Math公司Axiom Math总部。 人物：Axiom由24岁的广州籍数学天才洪乐潼（Carina Hong）于2024年辍学斯坦福后创立，本科在MIT三年修完数学与物理双学位，并斩获北美数学本科生最高荣誉"摩根奖"；CTO Shubho Sengupta曾在Meta FAIR负责AI训练基础设施八年；首席数学家Ken Ono为前弗吉尼亚大学终身教授；AI研究负责人François Charton曾任Meta机器学习与数学推理研究员，开创性地使用Transformer架构求解高阶数学与符号计算难题。Axiom于2026年3月完成2亿美元A轮融资，估值达16亿美元（约合人民币110亿元）。 事件详情：9月4日，Axiom Math宣布在数论领域最古老的未解猜想之一"有界素数间隔"问题上将上界从246进一步压至212——即证明存在无穷多对相邻素数，它们的间隔不超过212。完成这一突破的混合团队仅6人，整个项目周期约两周，并使用代号"Skunkworks"的内部协作流程。方法学上，团队用AxiomProver AI Agent在大规模分布式集群上进行参数化数值实验，再用Lean做形式化验证与人类可读的非形式化论文输出。论文已正式发布到primegaps.axiommath.ai/bgp212.pdf，OpenAI在公布188/186素数间隔结果时也调用了Axiom的PrimeGapsLib库。 背景：246这一上界已保持十余年，由2014年的Polymath8b协作项目在Maynard与陶哲轩等数论学家推动下完成；2013年张益唐首次将"是否存在有限上界"证明到7000万，后续Maynard用新筛法降至600并由此获菲尔兹奖。2026年8月31日Julia Stadlmann刚把246推到240；9月4日Axiom压到212；OpenAI几乎同一时间公布188、186相近结果，Anthropic Claude也完成188的形式化证明——素数间隔问题由此进入由AI加速的密集突破期。 影响：1）每把"有界素数间隔"上界压低一点，就更逼近孪生素数猜想，证明AI Agent加Lean形式化验证已成为纯数学前沿研究的新工具范式；2）硅谷"AI数学家"赛道估值与人才争夺战全面升级，24岁洪乐潼的Axiom公司仅4个月便从3亿美元估值涨到16亿美元，A轮拿到Menlo Ventures领投；3）AI for Science在数论这一最基础纯数学领域的实质突破，将进一步影响密码学与分布式系统等下游学科，因为素数分布的统计与极端间隔估计直接关系到公钥密码体系的鲁棒性。 总结：6人2周、AI Agent加Lean形式化验证，Axiom把保持十年的"有界素数间隔"上界从246推进到212，与OpenAI、Anthropic同期成果共同标志AI首次在数论最古老未解猜想上完成密集突破，纯数学研究的AI时代已正式到来。 参考来源： - 腾讯新闻独家对话硅谷独角兽Axiom：https://new.qq.com/rain/a/20260906A09O9D00 - AGI Hunt English：https://agihunt.info/en/e/1a067d2dafb6e6b425ec94c473c - AGI Hunt 中文：https://agihunt.info/e/1a067d2dafb6e6b425ec94c473c - Axiom 官方论文 bgp212：https://primegaps.axiommath.ai/bgp212.pdf - Bozok Media（AI与人类洞察协同破译素数奥秘）：https://www.bozokmedia.com/en/science/2026/09/04/ai-and-human-insight-collaborate-to-decode-prime-number-mysteries-167830 - 腾讯看点 GPT-6 素数 186 与 Axiom 212 同期：https://so.html5.qq.com/page/real/search_news?docid=70000021_6916a9a750c90352 - 百度百科 Axiom 公司背景：https://baike.baidu.com/item/AXIOM/67498650