继此前攻克无人能解的数学难题后，谷歌旗下人工智能研究部门 DeepMind 再次宣布重大突破，推出两款专攻复杂数学问题的新AI模型。
AlphaProof 与 AlphaGeometry 2：数学推理能力跃升
AlphaProof 和 AlphaGeometry 2 被视为AI在数学推理及问题解决领域迈出的关键一步，有效弥补了现有系统的短板。
- AlphaProof：基于AlphaZero技术开发，擅长使用形式化语言证明数学表达式。在本届国际数学奥林匹克竞赛（IMO）中，该模型成功解答四道赛题，斩获银牌。
- AlphaGeometry 2：几何解题能力显著增强。通过更大数据量训练，其解决了过去25年IMO几何题目的83%，在速度与效率上均优于前代版本。
加速通用人工智能（AGI）研发进程
DeepMind表示，上述进展大幅提升了AI的数学思维能力。AlphaProof 的形式化证明能力与 AlphaGeometry 2 的高效几何求解能力相辅相成，将有力推动通用人工智能（AGI）目标的实现。