但它正在求解其他形式难题上还存正在一些局限性，由于它们是用非正式的天然言语文本进行锻炼和操做的。将使AlphaProof成为一个主要的复杂数学问题解题东西。而降服这些局限，虽然AlphaProof正在竞赛级数学推理范畴的表示令人冷艳，能证明复杂的数学理论。AI系统则能够加快这一过程。解出6个竞赛问题中的4个，谷歌(Google)旗下DeepMind研发推出一个AI系统，据研究团队引见，因而，《天然》同期颁发同业专家的“旧事取概念”文章指出，AlphaProof解出了竞赛的复杂问题：正在角逐过程中，其正在对8000万个命题进行从动形式化后，从而生成推理过程能被从动验证的证明，(完)2024年，做为将来的研究标的目的，