北京团队实现通用人工智能推理新突破
中国科研团队近期成功研发出一款名为“通矩模型”(TongGeometry)的自主AI系统,相关成果于26日晚在线刊载于国际顶级期刊《自然-机器智能》(Nature Machine Intelligence)。业内权威专家指出,这是全球首个兼具自主命题(Proposing)与自动解题(Solving)双重能力的通用人工智能系统,标志着我国在自动化逻辑推理这一基础性、核心技术领域实现关键突破,其综合性能与功能广度已跃居世界前列。
免费影视、动漫、音乐、游戏、小说资源长期稳定更新! 👉 点此立即查看 👈

论文预印本链接:见期刊官网
长期以来,人工智能在几何逻辑推理方向面临两大根本性瓶颈:其一为“组合爆炸”问题——几何证明常需引入巧妙的辅助点、线、圆等元素,而每新增一个几何对象,其潜在构造组合数量即呈指数级攀升,导致搜索空间急剧膨胀;其二为“高质量标注数据稀缺”——现有公开几何题库规模有限、题型单一、覆盖不足,难以支撑大规模模型的有效训练与泛化。
由北京通用人工智能研究院牵头,联合北京大学心理与认知科学学院、北京大学智能学院、北京大学人工智能研究院及北京大学武汉人工智能研究院共同组建的跨学科攻关团队,设计并构建了一套高鲁棒性的逻辑推理搜索框架。该框架将纷繁复杂的几何世界进行形式化抽象与结构化建模,使AI系统能够在每个推理节点上开展类人化的、有层次、有策略的系统性探索,显著规避了传统方法中大量低效甚至无效的盲目尝试。
值得一提的是,研究团队原创性地提出了“规范化表示”(Canonical Representation)技术。该机制赋予模型一种“穿透表象、直达本质”的识别能力:在几何空间中,同一命题常因图形旋转、镜像翻转或比例缩放而呈现海量视觉变体。通矩模型可自动识别并归并所有对称等价或拓扑同构的构型,从而将原始搜索空间压缩达数个数量级。例如,无论一个三角形以何种姿态出现在坐标系中,系统均能稳定提取其不变的核⼼⼏何关系。这种对几何对称性与不变量的深度建模,成为提升推理效率的关键支点。
此外,在激发AI“解题直觉”的过程中,系统引入基于数学美学的价值评估机制。依托强化学习框架,内置的“价值模型”可动态评估每条推理路径的潜在价值——不仅关注最终结论是否成立,更重视推导链条是否精炼、结构是否优美、步骤是否经济。
“当模型察觉某个命题的证明难度远超其构造本身时,它便触发了类似人类数学家‘灵光一现’的认知信号。”论文第一作者、北京通用人工智能研究院研究员张弛解释道,“这种由价值函数驱动的主动探索,使系统不仅能复现已有解法,更能从海量可能中甄别并生成符合人类数学审美标准的优质新题,真正完成了从‘被动解题’到‘主动创题’的范式跃迁——这在全球范围内尚属首例。”
游乐网为非赢利性网站,所展示的游戏/软件/文章内容均来自于互联网或第三方用户上传分享,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系youleyoucom@outlook.com。
同类文章
智现未来联合晶合集荣获SEMICON China良率提升奖
3月26日,在SEMICON China 2026“半导体智能制造-未来工厂”论坛上,一场关于半导体制造AI未来形态的思想碰撞引发行业瞩目。智现未来董事长兼CEO管健博士受邀登台,发表题为《从“+A
珠海金湾引进30亿航空整机制造项目,布局载人飞行产业
南都讯 记者李洁琼 3月28日,珠海天际航空科技有限公司在金湾区天章产业园开业。作为珠海低空经济产业的新锐力量,天际航空智能制造基地的投运,标志着金湾区在载人级飞行器制造领域迈出关键一步,为珠海“天
神州写真:中国机器人租赁升温,二次开发成关键新赛道
来源:中国新闻网中新社杭州3月27日电 (鲍梦妮)随着机器人产业发展以及春晚机器人表演等热点带动,今年以来,中国多地机器人租赁业务持续升温。在上海上线的全球首个开放式机器人租赁平台“擎天租”,自去年
京东翻新打印机避雷指南:警惕以旧充新三大陷阱
大象新闻·大象财富记者 李莉 张迪驰315消费者权益日刚过,广东李女士在某平台购买的“全新”打印机频繁报错,维修无果。她查询最新质保发现,整机标注保修三年,系统却显示剩余保修期不足两年,经售后核实确
马斯克母亲分享长城游览视频:赞叹“令人惊叹”
来源:九派新闻、环球网版权归原作者所有,如有侵权请及时联系据环球网:美国企业家埃隆·马斯克的母亲梅耶·马斯克3月27日在社交平台X上发帖,分享自己在长城游览的视频。梅耶·马斯克当天在帖子中称,此次旅
- 日榜
- 周榜
- 月榜
相关攻略
2015-03-10 11:25
2015-03-10 11:05
2021-08-04 13:30
2015-03-10 11:22
2015-03-10 12:39
2022-05-16 18:57
2025-05-23 13:43
2025-05-23 14:01
热门教程
- 游戏攻略
- 安卓教程
- 苹果教程
- 电脑教程

