定理证明 · Google DeepMind AlphaGeometry:不用人类证明示例,解奥赛几何 AlphaGeometry 把神经语言模型和符号演绎结合起来,用合成定理与证明训练,在奥赛几何上接近金牌水平。