网易首页 > 网易号 > 正文 申请入驻

当一道世界级数学难题在上海与AI相遇

0
分享至

来源:滚动播报

(来源:上观新闻)



牛顿可能想不到,他在1694年首次提出的亲吻数问题,会成为困扰数学界至今的一道世界级难题。

他一定想不到,300多年后,来自上海科学智能研究院(简称上智院)、北京大学和复旦大学的联合团队,在一个名叫“人工智能”的助力下,让这一经典难题迎来系统性突破——在人类无法想象的多个高维空间,打破已知的最优解。

他一定也想知道,这一切究竟是怎么发生的?

1

亲吻数问题只是看上去简单——在N维空间中,一个球体周围最多能与几个相同的球体相切(Kissing)。

3维空间就引发了牛顿和数学家大卫·格雷戈里的激烈争论,牛顿猜测说最多12个,格雷戈里说可能有13个。直到258年后,数学家才严格证明牛顿是对的。

3维空间尚且如此,进入高维空间更是远超人类的想象,因此300多年来进展缓慢。玛丽娜·维亚佐夫斯卡,正是凭借在8维和24维的突破性进展,获得2022年菲尔兹奖。

亲吻数问题实则深刻,且有着重要的应用价值。在信息编码中,如何用最少的比特数压缩最多的信息,其底层逻辑和亲吻数是相通的。

300多年里,这道世界级数学难题,仿佛在等待着一场深刻的相遇。

2

上智院AI Math青年研究员、北京大学博士生马成栋,聊起亲吻数总是眉飞色舞。“他对数学有着纯粹的热爱,又敢于挑战重要问题。”上智院科研副院长、复旦大学人工智能创新与产业研究院副院长程远说。

能否用AI助力亲吻数的求解?这是一个大胆的想法。不少数学家认为,AI在短期内不可能真正解决有意义的数学问题。

在程远看来,倒是值得一试——数学是“科学的语言”,为物理、化学等提供了基本的描述和分析工具,若AI在数学层面取得突破,其方法论有望推广到科学智能诸多领域。数学天然适合AI进行闭环验证,是AI落地的理想场景;同时,数学本身就是演绎推理的完美测试场,通过攻克高难度数学问题,有望反向推动AI多步严谨推理能力的实质性进化。

作为亲吻数项目发起人,马成栋组织团队里擅长AI的成员,和星河启智科学智能开放平台的工程师协同“作战”。工程师优化了内存管理模式,可直接在GPU上完成原位计算,搜索速度提升数倍,累计节省超10万GPU卡时。

“我会和AI较劲——如果我在某一步比AI表现得更好,我会把这种人类独有的直觉转换成算法,再次注入AI。这让AI越来越聪明,也让我的数学直觉被不断重塑。”亲吻数项目核心成员、上智院AI科学家陶兆巍说。

短短一年多时间,研究团队开发的PackingStar强化学习系统刷新了接吻数问题多项世界纪录:在25-31维打破人类已知的最佳堆积结构,在13维发现50多年来的最优有理解,在14维等多维度中找到6000多种新解法。

这是AI在高维组合几何领域的首个系统性突破。值得一提的是,研究揭示了不同维度之间潜藏的几何关联与内在脉络,呈现出可迁移、可比较、可演化的关系网络。这种系统性的重构,使科学家得以从整体视角重新审视亲吻数这一经典难题,为下一步突破提供了方向指引与方法框架。

3

亲吻数与AI在上海的相遇,是一个颇有启示的科研样本。

今天的科学研究正在进入一个新的时代,AI不再只是被动的工具,而成为科学家的合作伙伴。人类提出有价值的问题,AI在浩瀚的可能空间中寻找求解路径,人类再对AI的产出分析理解。正因如此,这一样本的意义不仅在于回应了一个300多年的数学难题,更在于展示了一种科学研究范式,它或将改变科学探索的节奏与边界,使人类以前所未有的速度逼近未知。

改变科学探索的边界,是科学家一直在努力的事情。薛定谔的《生命是什么》第一次用物理学和信息学概念,系统解释了“生命为什么能存在”。

菲尔兹奖得主威廉・瑟斯顿曾说过,数学并不是关于数字、方程、计算或算法的;它关乎的是理解。在陶兆巍看来,当AI开始辅助人类理解“数学的宇宙”,这种“理解的艺术”才进入了加速期。

一道世界级数学难题在上海与AI相遇,其中的关键变量之一是“上海”。

“我们这里无需论资排辈,年轻人只要有独到的想法,就可以牵头组成自己的团队。”上智院理事长、复旦大学校长助理吴力波说。

在她看来,AI时代对于重大科学问题的求解,群体力量和有组织科研比以往任何时候都重要。解决问题需要什么学科,就把相关专业背景的人组织在一起,交叉融合也就再自然不过。而“科学工程化”在科学智能2.0时代也愈发重要,因为工程的效率和稳定性,可以对冲科学发现的不确定性,使重大问题能够持续、有序推进。

从亲吻数的突破来看,即使一直被认为不那么适合工程化的数学问题,在青年科学家自由探索、有组织科研和AI的合力下,加速实现了经典难题的重大突破。

前人用“亲吻”这个词来形容球体之间的接触,是数学中的一份诗意;今天与AI的相遇,则让这份诗意延伸为人类与机器共同探索未知的浪漫。

原标题:《当一道世界级数学难题在上海与AI相遇|科创观察员》

来源:作者:解放日报 黄海华

特别声明:以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布,本平台仅提供信息存储服务。

Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.

相关推荐
热点推荐
全程频繁捂嘴,台词含糊不清,视帝佟大为坐镇都带不动这个拖油瓶

全程频繁捂嘴,台词含糊不清,视帝佟大为坐镇都带不动这个拖油瓶

流云随风去远方
2026-01-31 13:12:51
偷鸡摸狗,好赌成性?离过年仅四天,何庆魁的体面被儿子撕得粉碎

偷鸡摸狗,好赌成性?离过年仅四天,何庆魁的体面被儿子撕得粉碎

北纬的咖啡豆
2026-02-13 16:31:59
乒乓球欧冠:樊振东不敌温瑞博,萨尔布吕肯3-2亨尼邦

乒乓球欧冠:樊振东不敌温瑞博,萨尔布吕肯3-2亨尼邦

懂球帝
2026-02-14 10:07:19
王励勤正式出面!国乒4主力官宣退役,林诗栋状态持续低迷引关注

王励勤正式出面!国乒4主力官宣退役,林诗栋状态持续低迷引关注

观察鉴娱
2026-02-14 10:04:52
白甲:一场无色的备战

白甲:一场无色的备战

疾跑的小蜗牛
2026-02-13 19:09:50
莫言:如果一个男人,不吸烟,不喝酒,不赌博,性格内向,不喜欢社交。从不参加同学聚会……

莫言:如果一个男人,不吸烟,不喝酒,不赌博,性格内向,不喜欢社交。从不参加同学聚会……

每日一首古诗词
2025-11-22 09:04:45
太燃了!某新势力年会抽奖,110台iPhone 17 Pro

太燃了!某新势力年会抽奖,110台iPhone 17 Pro

电动知家
2026-02-11 21:35:07
张冬云已任四川省政府领导

张冬云已任四川省政府领导

政知新媒体
2026-02-14 12:57:40
广州大学新校长人选确定,来自暨南大学,遗憾无985高校工作经历

广州大学新校长人选确定,来自暨南大学,遗憾无985高校工作经历

百家论大学
2026-02-14 14:48:21
中国股市——2026年3月极具翻倍潜力的牛股名单!

中国股市——2026年3月极具翻倍潜力的牛股名单!

道说有财
2026-02-13 13:58:28
航班紧急迫降!万米高空爆发群殴,乘客打到满地找牙

航班紧急迫降!万米高空爆发群殴,乘客打到满地找牙

华人生活网
2026-02-14 04:38:16
为什么贿赂公务员那套行不通了?看完网友分享,让人目瞪口呆了!

为什么贿赂公务员那套行不通了?看完网友分享,让人目瞪口呆了!

夜深爱杂谈
2026-02-13 19:43:34
2月14日 国乒新情报 樊振东败2场 却笑哈哈 莫雷高德舞大头贴引东哥

2月14日 国乒新情报 樊振东败2场 却笑哈哈 莫雷高德舞大头贴引东哥

林子说事
2026-02-14 15:02:09
高速孤独婚车后续: 上海远嫁河南,知情人透更多,新郎新娘人品好

高速孤独婚车后续: 上海远嫁河南,知情人透更多,新郎新娘人品好

观察鉴娱
2026-02-13 15:04:48
黑龙江一男子摔伤送医急救直呼“饿了,要吃面包”,竟是全身血液已近流干,医生质疑:不像摔得,有可能是车祸

黑龙江一男子摔伤送医急救直呼“饿了,要吃面包”,竟是全身血液已近流干,医生质疑:不像摔得,有可能是车祸

大象新闻
2026-02-13 09:47:05
这就是回家要脱裤子才能上床的原因!网友:看完天都塌了!

这就是回家要脱裤子才能上床的原因!网友:看完天都塌了!

夜深爱杂谈
2026-02-07 19:05:55
庄则栋走了,穆铁柱走了,聂卫平走了,体育界4大脊梁就剩他了

庄则栋走了,穆铁柱走了,聂卫平走了,体育界4大脊梁就剩他了

珺瑶婉史
2026-02-05 19:25:06
卡福:能代表巴西来到NBA名人赛,这是我的荣誉

卡福:能代表巴西来到NBA名人赛,这是我的荣誉

懂球帝
2026-02-14 14:10:10
初代小米SU7彻底停产!小米汽车:准备了至少10年以上的备件保障能力

初代小米SU7彻底停产!小米汽车:准备了至少10年以上的备件保障能力

快科技
2026-02-12 22:14:07
赫本:时常出入肯尼迪房间,如天鹅般优雅,是他的“床上蜜桃”,

赫本:时常出入肯尼迪房间,如天鹅般优雅,是他的“床上蜜桃”,

小鱼爱鱼乐
2026-02-14 07:06:45
2026-02-14 16:39:00
新浪财经 incentive-icons
新浪财经
新浪财经是一家创建于1999年8月的财经平台
2220109文章数 5471关注度
往期回顾 全部

科技要闻

字节跳动官宣豆包大模型今日进入2.0阶段

头条要闻

乌克兰问题会议鲁比奥临时"放鸽子" 欧洲官员:他疯了

头条要闻

乌克兰问题会议鲁比奥临时"放鸽子" 欧洲官员:他疯了

体育要闻

金博洋:天才少年的奥运终章

娱乐要闻

吴克群变“吴克穷”助农,国台办点赞

财经要闻

春节抢黄金,谁赚到钱了?

汽车要闻

星光730新春促销开启 80天销量破2.6万台

态度原创

教育
房产
手机
数码
艺术

教育要闻

五年级复杂解方程,一步一步来

房产要闻

三亚新机场,又传出新消息!

手机要闻

iPhone Fold要来了,阔折叠将彻底成为「主流」?

数码要闻

机情问答:iQOO 15 Ultra和红魔11 Air玩FPS游戏谁更好

艺术要闻

董其昌极少见的大字行书,每个字超过15厘米,喷子再也不敢说他用笔无力了

无障碍浏览 进入关怀版