TongGeometry

TongGeometry是由北京通用人工智能研究院与北京大学人工智能研究所联合研发的一种基于树搜索的几何模型，旨在用于提出和解决奥林匹克级别的几何问题。该工具采用高效的搜索算法和大规模并行计算技术，构建了目前最全面的几何定理库，已发现超过67亿个需要辅助构造的几何定理，其中41亿个具备几何对称性。TongGeometry能够生成高质量的竞赛题目，并自主完成证明。在国际数学奥林匹克竞赛（IMO）中，其表现已超越金牌得主，且可在消费级计算机上高效运行。 TongGeometry具备多项核心功能，包括几何问题生成、定理发现与证明、问题评估与筛选以及教育资源生成。其技术原理涵盖树搜索与引导式问题生成、神经符号推理、大规模并行计算以及辅助构造与定理证明。TongGeometry适用于数学竞赛、教育、人工智能研究、数学研究及教育评估等多个领域。 项目相关技术论文可参考arXiv上的发表：https://arxiv.org/pdf/2412.10673。