◎ 科技日报记者 杨雪

我国科研团队诞生出寰球首个同期具备自主出题（Proposing）和自动解题（Solving）双重才能的通用东说念主工智能系统——“通矩模子”（TongGeometry）。关联遵守26日发表于《当然·机器智能》。

2024岁首，DeepMind诞生的AlphaGeometry展示了AI在解题方面的巨大后劲。然则，AlphaGeometry骨子上是一个“被迫解题者”，其磨练独特依赖于大界限的合成数据和鼓动的规划资源。与之比拟，我国科研团队自主研发的TongGeometry则展现出了更高维度的智能：它不仅是一个大要满分交卷的“优等生”，更是一位大要创造优好意思、新颖题谋划“出落款师”。

论文第一作家、北京通用东说念主工智能接洽院张驰博士先容，TongGeometry大要从棋布星陈的空间组合中，精确捕捉到那些具备东说念主类数学家审好意思范例的高质料题目。这在国外上初次完了了从“师法解题”到“自主创造”的范式编削。

在性能弘扬上，TongGeometry展现了极高的国产原创技巧优厚性。比拟AlphaGeometry需要渊博的算力集群，TongGeometry仅需单张花费级显卡（如RTX 4090）即可在最多38分钟内，握住近25年通盘的奥数几何穷困，其推理遵守和准确率均达到世界顶尖水平。此外，该系统通过翻新的“范例化暗示”技巧，将搜索空间压缩了几个数目级，灵验握住了传统体式中的旅途爆炸问题。

现在，TongGeometry的原创才能已获取专科学术界和竞赛圈的招供。系统自主生成的3说念几何新题，已提神入选2024年世界中学生数学联赛（北京赛区）及好意思国精英奥赛（Ersatz Math Olympiad），这是AI原创题目初次参预高规格东说念主类数学竞赛。

这一遵守象征着中国科研团队在自动化推理的逻辑中枢领域完了关键技巧自研，并在性能与功能种种性上全面特出了以DeepMind为代表的国外顶尖水平。