符号人工智能 模型

IBM 研制的国际象棋计算机，1997 年 5 月在标准比赛时限下击败在位世界冠军，成为第一台做到这一点的计算机系统。

AlphaGeometry 是 Google DeepMind 开发的几何解题系统，把神经语言模型与符号推演引擎结合在一起，在一组 30 道奥赛几何题上达到接近人类金牌选手的水平。

AlphaProof 是 Google DeepMind 研发的强化学习系统，能在 Lean 形式语言中证明数学命题。在 2024 年国际数学奥林匹克中解出三道题，与 AlphaGeometry 2 合计达到银牌水平。