孪生素数 一个给的不多 但就是让人感觉它很好的黄金投资 难道是我其实是一只朝三暮四的睡蕉小猴吗
2026年9月初，一个沉寂十二年的数学纪录被悄然改写。素数——这些只能被1和自身整除的“数字原子”——再次在人工智能的辅助下，向人类揭示了其分布规律的一角。
9月4日，OpenAI研究员、考普斯奖得主苏炜杰宣布，借助GPT-6 Astra模型，将“有界素数间隔”的上界从246降至186。这一成果虽未撼动孪生素数猜想的核心堡垒，却标志着AI正从辅助工具演变为数学探索中的主动参与者。
从7000万到186：一条由人类智慧铺就的路径
孪生素数猜想断言：存在无穷多对相差为2的素数（如17与19）。尽管表述简单，其证明却困扰数学界近两个世纪。真正的突破始于2013年——当时名不见经传的华人数学家张益唐首次证明：存在无穷多对素数，其间隔不超过7000万。这不仅终结了“间隔是否有限”的长期争议，更点燃了全球数学家优化该上界的竞赛。
次年，在陶哲轩领衔的Polymath合作项目推动下，上界迅速压缩至246。此后十余年，该数值岿然不动，成为解析数论领域一道公认的“技术天花板”。直至2026年8月中旬，苏炜杰利用GPT-6 Astra内部版本启动新一轮探索，短短三周内，240、212、188、186……纪录接连被刷新。值得注意的是，同期多个团队（包括Axiom Math与Anthropic）也独立取得相近进展，显示出该方向已进入密集攻关期。
AI的角色：优化者，而非颠覆者
此次突破沿用的是由詹姆斯·梅纳德与陶哲轩发展的“Maynard-Tao多维筛法”。该方法通过构造精巧的“筛权函数”，在素数序列中高效识别出间隔较小的素数对。核心难点在于：如何设计既有效又可严格分析的权重结构。
据苏炜杰透露，GPT-6 Astra在此过程中承担了“智能推导代理”角色——它能持续组织符号推导、编写验证代码、尝试不同参数组合，并反馈可行路径。尤其在从188推进至186的关键阶段，AI提出了对“三重稠密可分性”因子结构的新型利用方式，显著扩大了筛权函数的适用范围。然而，整个框架仍由人类设定，AI并未提出全新数学理论。
结构性障碍仍在，AI难越“奇偶鸿沟”
尽管上界不断缩小，但学界普遍认为，仅靠数值优化无法抵达终极目标——间隔为2。苏炜杰指出，当前方法受限于“筛法的奇偶障碍”（parity barrier），即现有工具难以区分奇数个与偶数个素因子的情形。这一结构性限制意味着，即便将上界压至6（如在广义Elliott-Halberstam猜想成立前提下所获结果），也无法自然过渡到2。
换言之，186的突破属于“量变”，而证明孪生素数猜想需要“质变”——可能依赖尚未发现的全新数学范式。苏炜杰强调：“AI给出了关键步骤，但尚无法逾越猜想的根本障碍。”他预测，186不会是长期纪录，但后续改进或将遭遇边际效益递减。
人机协作新范式：数学研究的未来图景
此次成果凸显了AI在形式化推理与大规模参数搜索中的独特优势。不同于传统计算辅助，GPT-6 Astra展现出对数学语境的理解能力，能主动提出符合逻辑的中间引理。这为“人机协同证明”提供了新范本：人类负责战略构思与理论框架���AI处理战术执行与细节优化。
不过，风险亦不容忽视。过度依赖黑箱模型可能导致证明过程缺乏可解释性，削弱数学共同体的验证基础。苏炜杰表示，所有关键推导均已转化为人类可读形式，并提交同行评审。“AI是加速器，不是替代者，”他说，“真正的洞见，依然来自人类对结构之美的直觉。”
本文由AI辅助生成
