浙大校友用AI突破32年拉姆齐数下界，R(3,17) 从92升至93
2026/05/10 12:01阅读量 6
浙大校友王宜平借助自研AI框架 ScaleAutoResearch-Ramsey，将拉姆齐数 R(3,17) 下界从 92 提升至 93，终结自 1994 年来的长期停滞；同时将 R(4,15) 下界刷新至 160。该方法仅用 Claude Code、Codex 及一台 CPU 服务器，成果已全量开源。
事件概述
- 王宜平（本科毕业于浙江大学竺可桢荣誉学院，计算机与数学双学位，现为华盛顿大学博士生、xAI 技术团队成员）利用自研 AI 框架 ScaleAutoResearch-Ramsey，将拉姆齐数 R(3,17) 下界从 92 提升至 93，并将 R(4,15) 下界从 159 刷新至 160。
- 这是自 1994 年以来该问题首次取得实质性突破，且成果直接超越谷歌 DeepMind 同期 AlphaEvolve 的研究水平（AlphaEvolve 仅复刻了旧下界 92，未实现突破）。
核心方法
- 逆向思路：放弃传统“构造无三角形图再压缩独立集”的路径，先构造含少量三角形、独立集不超过 16 的图，再通过 AI 的复合删除修复策略逐步消除三角形，同时修复新生的独立集冲突。
- 并行搜索与积累：系统启动多组独立智能体，用不同算法和初始参数并行搜索图结构空间，以结构冲突数评判优劣，每次优化出的优质图谱被保存为模板，后续迭代在已有成果上持续打磨。
- 结果校验：所有推演结果通过专业核验工具严格筛查，确保不含违规三角形且独立集数量不超过上限，关键节点有完整核验记录。
- 硬件与工具：仅使用 Claude Code、Codex 及一台 CPU 服务器完成全部计算，成果已全量开源（GitHub）。
值得关注
- 拉姆齐数 R(3,17) 的派对问题解释：找到最小的派对人数，使得其中必然存在 3 个互相认识的人，或 17 个完全互不认识的人。此前下界 92 自 1994 年起未变。
- 该突破验证了 AI 在经典组合数学难题中自主发现新构造的潜力。
- 另外，中科大马杰教授、清华申武杰、中科大谢晟捷团队近期在拉姆齐数理论上实现 78 年来首次指数级改进，成果发表于数学四大顶刊之一《Inventiones Mathematicae》。