项目推荐 | AlphaGeometry: DeepMind开源的几何题证明ai

[XZirui]

推荐项目

• 项目地址：https://github.com/google-deepmind/alphageometry

• 类别：机器学习

• 项目标题：AlphaGeometry是一个可解决奥林匹克几何证明问题的AI

• 项目描述：这个AI可以证明平面几何的一些问题，解决问题能力可以达到IMO金牌得主水平。论文中有很详细的数据比较，论文地址

• 亮点：AlphaGeometry的语言模型引导其符号推导引擎找到几何问题的可能解决方案。奥林匹克几何问题基于需要添加新的几何结构才能求解的图表，例如点、线或圆。AlphaGeometry 的语言模型从无限种可能性中预测添加哪些新结构最有用。这些线索有助于填补空白，并允许符号引擎对图表进行进一步的推论并接近解决方案。

• 示例代码：无

• 截图：
  

• 后续更新计划：未知