• 时间:
  • 分类: 大语言模型
  • 标签: None
  • 阅读(632)
  • 👍推荐(0)
  • 评论(0)

AlphaGeometry是一种新型的几何定理证明系统，它通过合成数百万个不同复杂度的定理和证明，避免了对人类演示的依赖。这个神经符号系统结合了从头开始在大规模合成数据上训练的神经语言模型和符号推理引擎，能够在复杂问题中引导无限分支点。在30个最新的奥林匹克级别问题的测试集上，AlphaGeometry解决了25个问题，超越了之前最好的方法，并接近国际数学奥林匹克竞赛金牌选手的平均水平。

22221447-2024-01-22T14:15:13.png
论文：https://www.nature.com/articles/s41586-023-06747-5
代码：https://github.com/google-deepmind/alphageometry