Google DeepMind 发布 AlphaGeometry，在 30 道奥赛几何题中解出 25 道

Google DeepMind 于 2024 年 1 月 17 日介绍 AlphaGeometry：在 30 道奥赛几何题基准中，它在比赛时限内解出 25 道，接近同题金牌选手平均解出的 25.9 道；此前最优系统解出 10 道。该系统结合神经语言模型与符号演绎引擎，以 1 亿条合成训练样本训练，并宣布开放代码和模型；其能力限于几何题，文中称约覆盖奥赛题目的三分之一。