正在一项权势巨子的高中程度数学竞赛——国际数学奥林匹克竞赛上，谷歌(Google)旗下DeepMind研发推出一个AI系统，AlphaProof被证明能提拔之前先辈AI系统正在既往数学竞赛问题上的成果。将使AlphaProof成为一个主要的复杂数学问题解题东西。AI系统则能够加快这一过程。从而生成推理过程能被从动验证的证明，能证明复杂的数学理论。虽然一些狂言语模子正在能力上很有潜力，但它正在求解其他形式难题上还存正在一些局限性。