全球首创！中国“通矩模型”实现几何奥数自出题与秒级解题

1月26日，顶级学术期刊《自然·机器智能》（Nature Machine Intelligence）发表了我国科研团队的重要成果：全球首个同时具备“自主出题”和“自动解题”两种能力的通用人工智能系统——“通矩模型”(TongGeometry)正式发布。这一进展意味着 AI 在数学推理领域从“被动模仿”迈向“主动创造”的范式转变。

范式转变：从“解题机器”走向“数学创作者”

一直以来，AI 在数学领域更多扮演“答题者”。由北京通用人工智能研究院张驰博士领衔研发的 TongGeometry，首次让 AI 拥有近似人类数学家的“审美”与判断力，能够在天文级别的空间组合中，精准筛选并生成高质量的几何难题。

目前，其原创能力已获竞赛界权威认可：系统生成的3道几何新题，已正式入选2024年全国中学生数学联赛（北京赛区）以及美国精英奥赛（Ersatz Math Olympiad）。这是AI 原创题目首次进入高规格的人类数学竞赛。

性能飞跃：消费级显卡秒杀近25年奥数几何题

在实战效率方面，TongGeometry 展现出国产原创技术的“降维打击”优势：

• 轻量化算力：不同于谷歌 DeepMind 的 AlphaGeometry 需要庞大算力集群，TongGeometry 仅用一张 RTX4090 消费级显卡即可运行。

• 极致效率：系统在 38 分钟内即可覆盖近25年来所有国际奥数（IMO）几何题的解答。

• 路径压缩：依托创新的“规范化表示”技术，将搜索空间压缩了数个数量级，基本解决了长期困扰传统 AI 的“路径爆炸”问题。

评价与意义

论文第一作者张驰博士表示，TongGeometry 的关键在于完成了从“改写他人解法”到“独立自主创作”的跨越。这种更强的逻辑自驱与高效推理能力，为通用人工智能（AGI）在复杂逻辑领域的应用打开了新通道。