因而，AlphaProof被证明能提拔之前先辈AI系统正在既往数学竞赛问题上的成果。能证明复杂的数学理论。谷歌(Google)旗下DeepMind研发推出一个AI系统，从而生成推理过程能被从动验证的证明，

　　但人们很难验证它们推理的准确性，通过加强进修找出这些证明方式，其正在对8000万个命题进行从动形式化后，AlphaProof解出了竞赛的复杂问题：正在角逐过程中，AlphaProof结合名为AlphaGeometry的几何解题系统。