AI 刷新孪生素数间隔纪录：OpenAI 研究员苏炜杰将上界降至 186

据《澎湃新闻》报道，2026年9月4日，OpenAI研究员、考普斯奖得主苏炜杰在社交媒体上宣布，借助人工智能将孪生素数领域素数间隔距离的上界从长期保持的246降至186。相关论文共38页，已公布在OpenAI网站上。

孪生素数猜想是解析数论中最著名的难题之一，猜想存在无穷多对相差恰好为2的素数。2013年，中山大学教授张益唐首次证明素数间隔存在有限上界，给出不超过7000万的结果；2014年，陶哲轩等数学家借助多维筛法把上界推进至246，并保持12年。此次苏炜杰使用GPT-6 Astra内部版本，在数学家提出的多维筛法框架内，由AI提出名为“三重稠密可整除”的新约束条件，从而把上界进一步压低。

不过，苏炜杰在受访时保持清醒：186仍属于既有框架内的技术推进，尚未触及证明孪生素数猜想所需跨越的根本障碍。从6逼近2还会遭遇筛法固有的“奇偶障碍”，这不是仅靠数值优化能解决的问题。研究同时进行了Lean形式化验证，但关键数值仍依赖外部程序核验。

【AICOR 点评】AI辅助数学证明正在改变科研分工：人类负责问题选择与思路判断，AI负责形式化、计算与验证。对企业AI重构而言，这种“人定方向、机做推导”的协作模式同样适用于研发、风控与战略分析。AICOR认为，企业应当把AI定位为“高算力协作者”，在定义清晰、反馈可靠、可独立验证的任务中释放其价值，同时保留人类在问题定义、结果解释与伦理判断上的最终责任。