每天一个新发现 · 人工智能 ·

GPT-6孪生素数猜想取得新进展，压缩素数间隔上界



图片来源：openai

孪生素数猜想认为存在无穷多对相差2的素数。2013年，张益唐把有界素数间隔推进到7000万；此后上界降到246，今年8月31日又被Julia Stadlmann改进为240。9月2日，OpenAI公开由GPT-6 Astra参与的新结果，将上界压到186。北大数学学院2007级校友、宾大教授苏炜杰随后介绍了这项工作。相关论文和代码已公开。

186并不意味着孪生素数猜想已获证明：新结果声称，相邻素数之差不超过186的情形会无穷多次出现，而猜想要求将186降到2。研究证明了DHL[40,2]，即每个可容许的40元整数集合，都有无穷多个平移包含至少两个素数；再使用一个直径为186的具体数集推出结论。OpenAI还发布了Lean 4代码和Python数值证书。不过，形式化仍把两项有限域估计和一组数值积分界作为显式公理，审查状态为“自评”，尚无独立的人类语义审查。这项工作可能创下有界素数间隔的新纪录，仍需数学界核查论文、代码与计算是否完整对应。（OpenAI）