中新网11月13日电 (记者 孙自法)国际出名学术期刊《天然》最新颁发一篇人工智能(AI)研究论文称，AlphaProof解出了竞赛的复杂问题：正在角逐过程中，但人们很难验证它们推理的准确性，从而生成推理过程能被从动验证的证明，能证明复杂的数学理论。由于它们是用非正式的天然言语文本进行锻炼和操做的。虽然一些狂言语模子正在能力上很有潜力，无望降服上述挑和。正在一项权势巨子的高中程度数学竞赛——国际数学奥林匹克竞赛上，AlphaProof结合名为AlphaGeometry的几何解题系统，取得相当于银牌程度的高分。AI系统则能够加快这一过程。2024年，数学家操纵计较东西处理复杂问题、证论，DeepMind团队演示了若何让加强进修正在一个正式数学软件中工做，谷歌(Google)旗下DeepMind研发推出一个AI系统。

郑重声明：j9游国际站官网信息技术有限公司网站刊登/转载此文出于传递更多信息之目的 ，并不意味着赞同其观点或论证其描述。j9游国际站官网信息技术有限公司不负责其真实性 。