但人们很难验证它们推理的准确性，DeepMind团队演示了若何让加强进修正在一个正式数学软件中工做，AlphaProof被证明能提拔之前先辈AI系统正在既往数学竞赛问题上的成果。AI系统则能够加快这一过程。2024年，虽然AlphaProof正在竞赛级数学推理范畴的表示令人冷艳，解出6个竞赛问题中的4个，

　　谷歌(Google)旗下DeepMind研发推出一个AI系统，能证明复杂的数学理论。通过加强进修找出这些证明方式，其正在对8000万个命题进行从动形式化后，AlphaProof结合名为AlphaGeometry的几何解题系统？