1月26日，顶级学术期刊《自然机智能》发表了中国研究团队的重大突破：全球首个具备“自我提问”和“自动问题解决”能力的通用人工智能系统——**“同几”**——正式发布。这一成就标志着人工智能数学推理方法从“被动模仿”向“主动创造”的范式转变。
范式转变：从“问题解决机器”到“数学创造者”
长期以来，数学领域的人工智能主要扮演“考试者”的角色。然而，由北京通用人工智能研究所张池博士开发的同几何，是首个赋予人工智能类似人类数学家“审美”标准的人工智能系统。它能够从天文数字般的空间组合中准确捕捉并创建高质量的几何问题。
其原创性已被竞赛机构认可：该系统生成了三个新的几何问题，这些问题已被正式纳入2024年全国高中数学联赛（北京分区）和美国的替代数学奥林匹克竞赛。这是AI生成的问题首次进入高水平的人力数学竞赛。
性能飞跃：消费级显卡超越了25年奥林匹克挑战
在实用效率方面，通几何展示了国产原创技术的优势：
- 轻量级计算能力：与需要大型计算集群的Google DeepMind的AlphaGeometry不同，TongGeometry只需一张RTX4090消费级显卡即可运行。
- 极高效率：该系统几乎可以在38分钟内解决过去25年所有国际数学奥林匹克（IMO）几何问题。
- 路径压缩：该系统依赖创新的“归一化表示”技术，将搜索空间压缩了数个数量级，解决了困扰传统人工智能的长期存在的“路径爆炸”问题。
评价与意义
论文第一作者张池指出，同几何的成功在于实现了“修改他人解”到“独立自主创造”的飞跃。这种高度的逻辑自主性和高效的推理能力为通用人工智能（AGI）在复杂逻辑领域的应用开辟了新途径。
