一个专注于欧几里得几何问题提出与解决的AI大模型——TongGeometry

TongGeometry是一个专注于欧几里得几何问题提出与解决的AI系统，旨在通过树搜索引导的问题提出和证明，桥接数值和空间推理。该系统由北京通用人工智能研究院（BIGAI）和北京大学人工智能研究所联合开发。

TongGeometry功能特点：

1、大规模定理发现：

TongGeometry建立了迄今为止最广泛的几何定理库，在相同的计算预算下，自主发现了67亿个需要辅助构造的几何定理，其中包括41亿个具有几何对称性的定理。

2、问题提出与竞赛应用：

TongGeometry提出的10个几何问题被选入区域数学竞赛，其中3个问题被选入中国国家队选拔赛和美国顶级民间数学竞赛。

3、超越人类金牌得主的表现：

在国际数学奥林匹克竞赛（IMO）的几何问题中，TongGeometry首次超越了金牌得主的表现，解决了IMO-AG-30中的所有几何问题。

4、高效计算与易用性：

TongGeometry的全部功能可以在消费级计算机上运行，极大地提高了模型的可访问性，并推动了高级几何问题解决的普及化。

5、智能引导与“教练”角色：

与现有仅解决问题的“学生”系统不同，TongGeometry更像是一位“教练”，能够发现、呈现和证明定理。

6、神经符号系统与强化学习：

TongGeometry采用演员-评论家风格的推理，通过策略模型完成辅助构造，并通过价值模型估计解决问题所需的剩余步骤。

TongGeometry应用场景：

1、数学竞赛：为国际数学奥林匹克竞赛等高级数学竞赛提供问题设计和解决方案。

2、教育与研究：在数学教育和研究中提供高级几何问题的生成和解决工具。

进入TongGeometry技术论文网址