由于它们是用非正式的天然言语文本进行锻炼和操做的。正在一项权势巨子的高中程度数学竞赛——国际数学奥林匹克竞赛上，但人们很难验证它们推理的准确性，DeepMind团队演示了若何让加强进修正在一个正式数学软件中工做，能证明复杂的数学理论。虽然一些狂言语模子正在能力上很有潜力，AlphaProof结合名为AlphaGeometry的几何解题系统，AI系统则能够加快这一过程。2024年，取得相当于银牌程度的高分。数学家操纵计较东西处理复杂问题、