本网站不是首发媒体,本网站发文的目的是为了方便复制粘贴
以下是正文内容:
2026年5月21—22日,一场横跨全球的AI+基础科学学术接力落下帷幕。在OpenAI率先攻破沉睡80年的埃尔德什单位距离猜想、普林斯顿大学学者精定指数下界之后,中国金宁汇科技凭借自主研发的AI for Science长程智能体平台Spiral AI,在数小时内实现关键优化,将猜想下界指数从1.014114提升至1.0323,相对提升幅度达129%,并严格证明该结果已达当前理论框架极限,在硬核数学推理领域展现了中国AI的研究能力。
本次突破的核心在于金宁汇团队基于Spiral AI长程智能体平台,创新提出双素数构造方案,锁定最优素数组合{2,3}与全局最优参数,并通过三层严谨证明体系,系统论证了该路径的极限性:三素数及以上组合会因判别式激增而失效;{2,3}是双素数构造中的最优解;单素数方案全面弱于双素数结果。
研究全程采用“数学家把控方向+AI执行高维搜索”的人机协同模式,金宁汇Spiral AI依托其长程推理与复杂逻辑链推演能力,在参数空间搜索与结构验证中发挥了关键作用,探索出一条AI驱动数学研究的新路径。
目前,金宁汇团队已公开发表题为《基于双素数构造的埃尔德什单位距离问题下界优化与极限证明》的论文草稿,全文包含完整理论推导与实验数据,正式向全球数学与AI学界公开,邀请同行评议与共同验证。
此次48小时全球接力,不仅见证了国际科研协作的速度与开放,也体现了中国AI在基础科学深层问题中的优化能力,表明我国AI for Science研究已取得重要进展。