国际最新研发一AI系统：能证明复杂数学理论|99久久综合狠狠综合久久
1. 玖九综合
中新网北京11月13日电 (记者 孙自法)国际知名学术期刊《自然》最新发表一篇人工智能(AI)研究论文称，谷歌(Google)旗下DeepMind研发推出一个AI系统，能证明复杂的数学理论。
数学家利用计算工具解决复杂问题、证明理论，AI系统则可以加速这一过程。虽然一些大语言模型在能力上很有潜力，但人们很难验证它们推理的正确性，因为它们是用非正式的自然语言文本进行训练和操作的。
在本项研究中，DeepMind团队演示了如何让增强学习在一个正式数学软件环境中工作，从而生成推理过程能被自动验证的证明，有望克服上述挑战。
据研究团队介绍，AlphaProof为证明数学命题而设计，其在对8000万个命题进行自动形式化后，通过增强学习找出这些证明方法，因此，AlphaProof被证明能提升之前先进AI系统在既往数学竞赛问题上的结果。
2024年，在一项权威的高中水平数学竞赛——国际数学奥林匹克竞赛上，AlphaProof解出了竞赛的复杂问题：在比赛过程中，AlphaProof联合名为AlphaGeometry的几何解题系统，解出6个竞赛问题中的4个，取得相当于银牌水平的高分。
《自然》同期发表同行专家的“新闻与观点”文章指出，虽然AlphaProof在竞赛级数学推理领域的表现令人惊艳，但它在求解其他形式难题上还存在一些局限性，建议作为未来的研究方向，而克服这些局限，将使AlphaProof成为一个重要的复杂数学问题解题工具。(完)
“shijishangjiushi‘dayang’。”lihanmingrenwei，guotaikaihangzhengminglewulumuqijichangjubeibaozhangdingjihangsidenengli，huichanshengshifanxiaoying。guotaifeidehao，qitaguojidingjihangsi，yijidongya、dongnanyadehangsidouhuikaolvgenjin。chulezhengmingjichangdebaozhangnengli，yeshixinjiangyiciweiqiji，duiwaishifangkaifanghuolideqiangliexinhao。“(“)实(shi)际(ji)上(shang)就(jiu)是(shi)‘(‘)打(da)样(yang)’(’)。(。)”(”)李(li)瀚(han)明(ming)认(ren)为(wei)，(，)国(guo)泰(tai)开(kai)航(hang)证(zheng)明(ming)了(le)乌(wu)鲁(lu)木(mu)齐(qi)机(ji)场(chang)具(ju)备(bei)保(bao)障(zhang)顶(ding)级(ji)航(hang)司(si)的(de)能(neng)力(li)，(，)会(hui)产(chan)生(sheng)示(shi)范(fan)效(xiao)应(ying)。(。)国(guo)泰(tai)飞(fei)得(de)好(hao)，(，)其(qi)他(ta)国(guo)际(ji)顶(ding)级(ji)航(hang)司(si)，(，)以(yi)及(ji)东(dong)亚(ya)、(、)东(dong)南(nan)亚(ya)的(de)航(hang)司(si)都(dou)会(hui)考(kao)虑(lv)跟(gen)进(jin)。(。)除(chu)了(le)证(zheng)明(ming)机(ji)场(chang)的(de)保(bao)障(zhang)能(neng)力(li)，(，)也(ye)是(shi)新(xin)疆(jiang)以(yi)此(ci)为(wei)契(qi)机(ji)，(，)对(dui)外(wai)释(shi)放(fang)开(kai)放(fang)活(huo)力(li)的(de)强(qiang)烈(lie)信(xin)号(hao)。(。)