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

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

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

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技术论文网址