中国科学家实现通用人工智能推理突破：难题解决与创新出题
新华社北京1月26日电（记者魏梦佳）由中国科研团队自主研发的“通矩模型”近日取得重要突破，该成果于26日晚在线发表于国际权威学术期刊《自然-机器智能》。相关专家表示，这是国际上首个同时具备自主出题和自动解题双重能力的通用人工智能系统，标志着中国科研团队在自动化推理的逻辑核心领域实现关键核心技术自研，并在性能与功能多样性上达到国际领先水平。
长期以来，人工智能在逻辑推理领域面临着两大核心挑战：其一是“组合爆炸”问题，即几何推理往往需要寻找并添加精妙的辅助线，每增加一个点或圆，搜索空间（即探索模型中所有可能的解决方案）都会呈指数级增长；其二是“高质量数据匮乏”问题，即现有的几何题目库规模较小，难以支持大规模模型的训练。
由北京通用人工智能研究院、北京大学心理与认知科学学院、北京大学智能学院、北京大学人工智能研究院以及北京大学武汉人工智能研究院组成的联合科研团队，通过开发一套精密的逻辑推理搜索架构，将复杂的几何世界抽象建模，使得AI系统能像人类数学家一样，在逻辑推理的每个节点上都能进行有序地系统性探索，避免了无效的重复尝试。
据悉，团队创新性地引入了“规范化表示”技术。这套机制赋予了AI一种“识破伪装”的能力：在复杂的几何空间中，同一个命题往往会因为图形的旋转、翻转或缩放而产生无数种表现形式。通矩模型能自动识别并合并这些对称或同构的拓扑结构，将庞杂的搜索空间压缩了几个数量级。例如，无论一个三角形在空间中如何摆放，系统都能精准锁定其本质的几何关系。这种对物理对称性的深度利用，极大地提升了搜索效率。
而在AI寻找解题“灵感”的过程中，系统通过价值函数来模拟人类的数学审美。借助强化学习技术，系统内置的“价值模型”能实时预判每一条推理路径的潜力——不仅判断结论是否成立，更在乎推导过程是否简洁。
“当AI发现一个命题的证明难度显著高于其构建复杂度时，它便捕捉到了那一抹‘直觉性的灵感’。”论文第一作者、北京通用人工智能研究院研究员张驰表示，这种“价值引导”能让模型从浩如烟海的组合中，精准捕捉到那些具备人类数学家审美标准的高质量题目，“实现了从‘模仿解题’到‘自主创造’的范式转变，这在国际上尚属首次。”
图为团队成员正在讨论算法设计的几何问题。新华社发
张驰介绍，通矩模型仅需单张消费级显卡即可在最多38分钟内解决2000年以来所有国际数学奥林匹克竞赛的几何难题。实验表明，其推理效率和准确率均达国际先进水平。
论文共同通讯作者、北京大学心理与认知科学学院助理教授朱毅鑫表示，通矩模型的意义不仅在于解题速度的提升，更在于其通过模拟人类数学家的直觉和审美，实现了“小数据、大任务”的范式转化。
“这种不依赖海量标注数据、通过内部逻辑自我演化的路径，正是通用人工智能发展的关键。我们的系统不仅能与国际最先进的AI系统对标，更在理解逻辑底层美学和自主发现科学规律方面走在了前列。”他说。
据悉，目前通矩模型自主生成的3道原创几何新题，已入选2024年全国中学生数学联赛（北京赛区）。
张驰表示，这一成果为未来自动化数学证明、个性化智能教育及科学大模型的开发提供了技术支撑，有助于为更多感兴趣的青少年提供优质题目和讲解服务。未来，团队将继续深耕通用智能模型，推动中国人工智能技术在更复杂逻辑与科学发现领域实现领跑。
相关攻略
2026年，科学研究的范式正在悄然改变。人工智能，这位曾经的“辅助工具”，如今正以“合作者”的身份，深度介入从数学证明到黑洞物理的前沿探索。它带来的不仅是效率的提升，更是一种思维模式的拓展——科学加速的时代，已然拉开序幕。 从三个夜晚到一页证明：AI如何成为数学家的“思维翻跟斗” 数学，被誉为科学的
机器之心编辑部 仅凭一个简单的二元运算符和常数1，就能构建出科学计算器上的所有基础数学函数？这听起来像是数学领域的终极简化梦想，而近期一项来自计算机科学界的突破性研究，正将这个看似不可思议的构想变为现实。 这项能够将复杂数学体系极度简化的底层发现，被广泛认为具有革命性潜力。该研究的论文作者Andrz
困扰数学界长达60年的一个“世纪猜想”，竟然被一位门外汉给攻克了。 这位年轻人只有23岁，从未接受过任何高等数学训练。他仅仅凭借一段提示词，就让ChatGPT在80分钟内破解了这道难题。菲尔兹奖得主陶哲轩在审阅后坦言：过去六十年里，所有研究者在第一步就集体走偏了。 23岁门外汉，让全网破防 故事的主
2025年5月15日，是著名数学家、中国科学院院士、国家最高科学技术奖得主谷超豪先生诞辰一百周年的纪念日。为缅怀这位科学巨匠的毕生贡献，弘扬其追求真理的科研精神，并向公众展现基础数学研究的独特魅力，一场主题科普活动于5月10日在上海科技馆报告厅成功举办。这就是第240期上海科普大讲坛特别策划的“遇见
为纪念谷超豪先生百年诞辰，5月10日将在上海科技馆举办专题科普讲座。李大潜院士将回顾谷超豪从数学少年成长为学科开拓者的历程，展现其科学精神传承。沈维孝院士则以多项式求根为例，引领听众领略数学的深邃与精巧。这是一次与顶尖学者对话、感受数学魅力的难得机会。
热门专题
热门推荐
在《燕云十六声》中领悟“菩提苦海”，需沉浸探索游戏世界。主线剧情构建认知框架，战斗观察、场景细节与NPC对话皆暗藏线索。通过多元视角拼凑因果，方能深入理解游戏蕴含的宏大叙事与深邃魅力。
2026年618大促的序幕刚刚拉开，初期战报已经透露出一些耐人寻味的信号。截至5月21日，海信电视在京东平板电视累计销售竞速榜上拔得头筹，其RGB-Mini LED爆款王——海信小墨E5S Pro，更是同时拿下了天猫平板电视和抖音大家电的5 20单品销冠。 这并非偶然。奥维云网的全渠道监测数据给出了
充电桩领域的“军备竞赛”再次迎来重磅升级。5月22日，极氪汽车正式发布了其全新一代液冷超级充电桩，将单枪峰值功率一举提升至行业领先的800kW，标志着超充技术迈入新阶段。 根据官方披露的核心信息，这款超充桩主要具备四大优势：极速补能、高效节能、广泛适配与多重安全。具体而言，其单枪峰值电流高达800A
获取电弧机剑主要有五种途径：推进主线任务以解锁线索；探索遗迹、工厂等特定区域；挑战特定副本与Boss；完成提及传说武器或遗物的支线任务；参与限时活动并达成要求。玩家可根据偏好选择或组合多种方式获取该武器。
小米汽车再次为潜在车主带来惊喜福利！即日起至5月31日，用户只需提前完成预约，并到店参与任意车型的试驾体验，即可免费获赠一款1:64精致合金车模。车模款式与颜色随机发放，为试驾过程增添一份专属的收藏乐趣，诚意十足。 参与本次活动需注意以下细则：试驾必须通过官方渠道提前预约；各授权门店的车模备货数量不