TongGeometry 由北京通用AI研究院与北京大学AI研究所合作推出

TongGeometry 是由北京通用AI研究院与北京大学AI研究所合作推出的高级几何模型，专门针对高水平几何问题，尤其适用于国际数学奥林匹克等竞赛。该系统基于效率高的树搜索算法和大规模并行计算技术，构建了全球最大的几何定理库，成功发现了67亿个需要辅助构造的几何定理，其中41亿个具有几何对称性。TongGeometry 不仅能自动生成高质量的竞赛题目，还能独立完成证明，首次超越金牌得主，在普通消费级计算机上也能高效运行。

TongGeometry 主要功能包括几何问题生成、定理发现与证明、问题评估与筛选以及教育资源生成。该系统运用树搜索与神经符号推理，自主发现和证明几何定理，同时生成适合竞赛的问题并提供丰富的几何教育资源。技术原理涉及树搜索与引导式问题生成、神经符号推理、大规模并行计算以及辅助构造与定理证明等方面。

TongGeometry的应用场景包括数学竞赛、数学教育、人工智能研究、数学研究以及教育评估等。用户可以访问arXiv技术论文以获取更多关于该项目的详细信息。针对常见问题，TongGeometry能够在普通消费级计算机上高效运行，主要目标用户为数学竞赛选手、教育工作者和研究人员，用户还可以通过系统提供的各种功能获取丰富的教育资源。