中国团队用AI攻克数学难题，人工智能助力经典问题求解
来源：科技日报
免费影视、动漫、音乐、游戏、小说资源长期稳定更新！ 👉 点此立即查看 👈
科技日报记者 王春
人类与AI结为伙伴，共同探索科学的未至之境，在基础科学研究中实现新的发现与创新、推动社会发展，这堪称人类科学探索史上从未有过的浪漫图景。上海科学智能研究院（以下简称“上智院”）日前在数学领域亲吻数问题上，获得了突破性进展。
带来此次突破的PackingStar强化学习系统由上智院联合北京大学、复旦大学研发，在12、13、14、17、20、21以及25至31维等多个维度刷新亲吻数与广义亲吻数纪录，形成跨维度、成体系的推进。在亲吻数问题三百年历史中如此规模的跨维度连续推进极为罕见，同时也是AI在高维组合几何和编码理论中的首个系统性突破，这也验证了一种新型的人机协同研究路径——人工智能不再局限于辅助计算，而开始参与高维数学结构的系统性探索。
1694年，牛顿与格雷戈里提出三维空间亲吻数问题：中心球周围最多可紧贴放置多少颗相同球体？牛顿认为是12，格雷戈里主张13，该猜想直到1953年才被证实。作为希尔伯特第十八问题的局部形式，亲吻数问题关联格子理论、球面码等数学分支，且与卫星通信、量子编码、数据压缩等工程技术紧密相关。2024年，数学家玛琳娜·维亚佐夫斯卡因8维与24维球体堆积最优解证明荣获菲尔兹奖。
高维空间中，亲吻数问题迅速进入研究“无人区”。过去50年，该领域仅7次实质性进展，方法难以迁移复用。
据了解，此次突破带来了该问题研究的方法论变革。此前DeepMind的AlphaEvolve仅实现11维单点优化，方法难以普适。PackingStar重新定义问题，将高维几何难题转化为代数计算，形成跨维度迁移路径，突破了传统对称构造思路，发现多维度持平纪录的非对称构型。团队形成稳定人机协作模式：人类提出研究边界，AI高速构造搜索，人类验证抽象结果，让高维几何探索从单点尝试走向系统推进。
重大科学突破离不开工程体系支撑。上智院理事、复旦大学校长助理吴力波表示，研究院以开放平台拆解科学目标，以工程能力对冲探索不确定性。针对高维搜索空间指数级增长、计算任务庞杂的难题，PackingStar项目通过自研底层算子、优化GPU计算流程、建立自动Checkpoint机制，实现千卡级任务断点续传，搜索速度提升数倍，累计节省超过10万GPU卡时。这不仅是算力成本的节约，更意味着研究节奏的可控与加速。
上智院、复旦大学与无限光年联合研发的星河启智科学智能开放平台，已沉淀PackingStar的关键算子与方法，为新材料、药物发现等高维优化领域提供智算支撑。
相关攻略
当我们开车在高速公路上行驶时，最怕遇到的就是车子突然失控，方向盘变得异常敏感，稍微一动就可能冲出车道。这种情况在人工智能的训练过程中也经常发生，特别是在训练那些能够进行推理和对话的大型语言模型时。来
这项由威斯康星大学麦迪逊分校研究团队完成的突破性研究，发表于2026年3月的《机器学习》期刊，论文编号为arXiv:2603 20538v1。有兴趣深入了解的读者可以通过该编号查询完整论文。这项研究
这项由高通AI研究院领导的突破性研究发表于2026年3月的预印本论文，论文编号为arXiv:2603 08462v1。有兴趣深入了解的读者可以通过该编号查询完整论文。这项研究解决了一个让所有AI研究
3月31日消息，近日，比利时布鲁塞尔自由大学（VUB）数据分析实验室发布重磅研究成果，证实商用大型语言模型已具备独立生成原创数学证明的能力。OpenAI旗下ChatGPT-5 2(Thinking)
这项由中科院计算技术研究所智能信息处理实验室和AI安全重点实验室联合开展的研究，发表于2026年3月的arXiv预印本平台（论文编号：arXiv:2603 17512v1），为解决大型语言模型的多语
热门专题
热门推荐
当代互联网技术飞速进步，口号已成为普遍被使用的短语 在信息爆炸的今天，一句精炼有力的口号，往往能迅速传递品牌或活动的核心理念，甚至演变为一种深入人心的文化符号。那么，哪些标语能够真正触动人心，将抽象的服务宗旨转化为具体可感的信任呢？本文将聚焦于医疗健康这一特殊领域，为您深度解读一组关于文明就医与人文
微软年度开发者盛会概览微软Build大会是该公司每年面向全球开发者、工程师和技术决策者举办的最重要技术盛会。它不仅是微软展示其最新技术成果、平台更新和未来愿景的舞台，更是开发者们获取前沿知识、学习最佳实践以及直接与产品团队交流的核心渠道。大会通常持续数日，包含主题演讲、技术深度解析、实践工作坊以及丰
《大航海时代起源》：在无垠海域中，书写你自己的航海史诗 《大航海时代起源》（英文名“Uncharted Waters Origin”）的核心魅力，正如其名，在于开启一段关于自由探索、跨洋贸易与开拓未知疆域的宏大冒险。游戏从角色创建伊始，便将命运的舵盘交予玩家。性别、外貌乃至性格倾向，这些基础的自定义
《完美证据》：一场“慢”与“快”的七年对赌 在当下追求“拍完即播”的影视快消时代，《完美证据》的出现，宛如一位闯入百米赛道的马拉松选手。当行业竞逐速度时，它却历经七年打磨才姗姗来迟。观众不禁好奇：耗时如此之久，这部剧究竟在打磨什么？它的“慢”，是否藏着独特的价值？ 审视其时间线，最值得玩味的或许不是
AI食谱生成器是什么 简单说，它是一种能帮你“凭空变出”菜谱的智能助手。这工具由多个技术团队合力开发，核心目标很明确：让每个人，无论是经常下班的上班族，还是爱钻研美食的厨艺爱好者，都能根据手边有的食材和个人口味，快速获得一份专属的烹饪方案。它让做饭这件事，从“今晚吃什么”的难题，变得轻松、个性，甚至