neng8科技快讯网AI人工智能前沿资讯_汽车数码相机评测_手机电脑硬件百科

TongGeometry 是北京通用AI研究院和北京大学AI研究所联合推出的基于树搜索的几何模型，专门用在提出和解决奥林匹克级别的几何问题。TongGeometry基于高效的搜索算法和大规模并行计算，建立迄今为止最广泛的几何定理库，发现了67亿个需要辅助构造的几何定理，其中41亿个具有几何对称性。