2026年5月,浙大校友王宜平利用自研AI框架ScaleAutoResearch-Ramsey,成功将数学界难题拉姆齐数R(3,17)的下界从92提升至93,打破自1994年以来的纪录。同时,他还将R(4,15)下界刷新至160,超越谷歌DeepMind同期研究水平。这一突破未依赖超级算力,仅用Claude Code、Codex+1台CPU服务器完成,并已全量开源。拉姆齐数是组合数学核心难题,与图论、算法设计等领域密切相关。王宜平采用逆向思路,通过AI复合删除修复策略逐步优化图结构,最终实现突破。他本科毕业于浙江大学,现为华盛顿大学博士生,研究方向包括AI for Math和大语言模型强化学习。此外,中科大与清华团队近期在拉姆齐数研究中取得78年来首次指数级理论改进,成果发表于数学顶刊《Inventiones Mathematicae》。
原文链接
本文链接:https://kx.umi6.com/article/35640.html
转载请注明文章出处
相关推荐
换一换
《自然》:训练运行模式缺陷或致AI提供危险建议
2026-05-09 16:28:42
VLA死了,遥操也死了!英伟达机器人一号位说的
2026-05-09 15:20:27
所有实验室都怕字节,所有人都在夸DeepSeek!美国研究员36小时中国AI行
2026-05-08 13:17:18
机构:半导体材料市场规模有望在2028年突破840亿美元
2026-05-09 16:27:35
中国移动董事长陈忠岳:推进全国一体化算力网建设 开放万亿级词元服务体验包
2026-05-08 11:16:06
英伟达CEO黄仁勋:若受邀 将随特朗普一同访问中国
2026-05-08 13:21:51
三部门:力争到2030年 人工智能算力设施的清洁能源供给保障能力和能源领域人工智能应用水平大幅提升
2026-05-08 17:30:58
谷歌「AI联合数学家」来了!刷新最难数学AI基准SOTA,牛津教授用它解开群论悬案
2026-05-09 15:21:48
黄仁勋怒批AI创业者:有些CEO总喜欢装上帝 制造恐慌有害无益
2026-05-09 09:04:20
Anthropic出手!AI的内心独白,曝光了
2026-05-08 15:22:45
四部门:加强算力设施项目布局规划指导 将绿电使用占比作为重要参考指标
2026-05-08 18:37:33
芯片短缺冲击电脑主板市场 四大生产商今年销量预计暴跌超25%
2026-05-08 11:20:31
苏姿丰确认将出席在上海举办的AMD AI开发者日
2026-05-09 19:35:17
769 文章
599350 浏览
24小时热文
更多
-
2026-05-10 12:05:34 -
2026-05-09 21:38:59 -
2026-05-09 21:35:54