资讯
AI接连刷新素数间隔纪录，为何最后的2仍遥不可及？
📋总体概括
孪生素数猜想（相差2的素数对是否无穷多）悬置百年，数学界转向退而求其次：证明存在无穷多对素数，其间隔不超过某个固定常数，并不断压缩该常数。近年来，AI与机器学习方法介入这一领域，接连刷新素数间隔的纪录上限，但距离理论极限2仍有巨大差距。文章梳理了从张益唐2013年突破（间隔7000万）到Polymath计划及近期AI辅助成果的脉络，说明这一常数下探的艰难，以及机器在数学探索中扮演的辅助而非替代角色。
⚡关键信息
- ▸孪生素数猜想问：相差2的素数对是否无穷多，至今无人能证明
- ▸学界退而证明存在无穷多间隔不超过固定常数的素数对，常数越低越接近猜想
- ▸2013年张益唐首次证明该常数有限（7000万），随后Polymath群体协作将其大幅压缩
- ▸AI与机器学习方法近年接连刷新素数间隔纪录，推动问题进展
- ▸常数距离理论目标2仍极其遥远，证明尚未触及问题核心
🔥犀利点评
这是个好故事，但别被「AI刷新纪录」的标题带偏。AI在素数间隔问题上更像是高效的试错机器和模式发现工具，帮人找线索、压缩常数，可真正的证明依然靠人类数学家搭建理论骨架。张益唐当年是孤身破冰，如今是机器打下手，说明数学的范式在变，但核心难题——把常数从几百压到2——拼的仍是深刻的思想而非算力。别急着宣布AI攻克数论，它现在只是个不错的副驾驶。
📰 相关资讯（与本文相关的其他资讯）
本文由本站自动聚合，以下为原始来源：前往 虎嗅 阅读全文 →