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、教育与研究：在数学教育和研究中提供高级几何问题的生成和解决工具。
