二维码
×
希鸥网logo

金宁汇Spiral AI锁定埃尔德什猜想理论极限 自研AI for Science长程智能体实现关键优化

作者 / x 发布时间 / 2026年05月23日 来源 / x 分类 / 活动信息

本网站不是首发媒体,本网站发文的目的是为了方便复制粘贴

以下是正文内容:


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研究已取得重要进展。

阅读量:1625
10秒生文 寻求报道 创业大集 报名活动 创业10年荣耀奖 城市合伙人 12000+媒体资源