
1月26日,《自然·机器智能》(Nature Machine Intelligence)这一顶级学术期刊重磅发布了中国科研团队的重大创新成果:全球首款同时具备“自主命题”与“自动解题”双重能力的通用人工智能系统——**“通矩模型”(TongGeometry)**正式问世。这一突破性进展标志着人工智能在数学推理领域实现了历史性跨越,从传统的“被动模仿”模式成功转变为“主动创造”的新范式。
范式转移:从“解题机器”到“数学创作者”
长期以来,人工智能在数学领域的应用主要局限于“解题者”的角色。而由北京通用人工智能研究院张驰博士领衔研发的TongGeometry系统,首次赋予AI类似人类数学家的“审美”与创造力。该系统能够从天文数字级的空间组合中精准捕捉并原创高质量的几何难题。令人瞩目的是,其原创能力已获得竞赛界权威认证:系统独立生成的3道几何新题正式入选2024年全国中学生数学联赛(北京赛区)及美国精英奥赛(Ersatz Math Olympiad)。这一创举实现了AI原创题目首次进入高规格人类数学竞赛的历史性突破。

性能飞跃:消费级显卡秒杀25年奥数难题
在实战效率方面,TongGeometry展现了国产原创技术的惊人优势。轻量化算力:与谷歌DeepMind的AlphaGeometry需要庞大的算力集群不同,TongGeometry仅需一张RTX4090消费级显卡即可高效运行。极致效率:系统在短短38分钟内即可解决近25年来所有的国际奥数(IMO)几何难题。路径压缩:依托创新的“规范化表示”技术,系统将搜索空间压缩了数个数量级,彻底攻克了传统AI长期困扰的“路径爆炸”难题。
评价与意义
论文第一作者张驰博士强调,TongGeometry的成功关键在于实现了从“修改他人解题”到“独立自主创造”的跨越式发展。这种高度的逻辑自治和高效的推理能力,为通用人工智能(AGI)在复杂逻辑领域的应用开辟了全新路径,为未来人工智能的发展注入了新的活力与可能性。
