浙大校友用AI突破32年拉姆齐数下界

文章摘要

【关 键 词】 数学发现、拉姆齐数、智能计算、算法优化、开源成果

数学界长期停滞的拉姆齐数难题取得重要突破。

研究人员成功将组合数学关键指标R(3,17)的下界从92提升至93，彻底终结了该领域长达三十二年的理论停滞状态。

此项工作同步将R(4,15)下界推进至160，在自动化数学搜索路径上显著超越了同期同类模型的运算表现。

拉姆齐数主要刻画无序系统中必然涌现确定秩序的临界条件，其边界值确认深度关联图论演进、计算架构设计及通信网络拓扑优化，但因组合状态空间呈指数级膨胀，精确推导始终面临极高壁垒。

传统求解逻辑通常先构造零三角形图结构再尝试压缩独立集规模，计算过程极易受限于固定顶点阈值与局部极值。

本次实践采用逆向演化路径，放弃初始无三角限制，优先接纳包含少量违规结构但独立集达标的图谱。

系统依托自研智能迭代框架执行自动化推演，部署多组独立智能体并行扫描图结构搜索空间。

核心算法融合复合修剪与动态修复机制，在逐层剥离三角形的同时实时调控独立集规模扩张。

各阶段产出均以结构冲突数量为量化依据，高质量图谱自动转化为后续迭代的基础模板，实现探索经验的有效累积。

全流程内置自动化校验模块，对生成图的节点连接属性进行双重筛查，确保数学逻辑严密性。

依托大语言模型辅助代码生成与单台中央处理器的轻量级算力支持，智能系统最终稳定输出符合所有数学约束条件的新图谱，配套算法框架与验证记录已完成全量公开，直接提升了相关交叉领域的可复现研究基线。

原文和模型

【原文链接】 阅读原文 [ 1333字 | 6分钟 ]
【原文作者】 量子位
【摘要模型】 qwen3.6-plus-2026-04-02
【摘要评分】 ★☆☆☆☆

阿里云百炼

大模型服务平台是阿里云基于通义大模型等多种大模型的一站式大模型开发平台。