国际最新研发一AI系统：能证明复杂数学理论|韩国三级中文字幕hd久久精品
中新网北京11月13日电 (记者 孙自法)国际知名学术期刊《自然》最新发表一篇人工智能(AI)研究论文称，谷歌(Google)旗下DeepMind研发推出一个AI系统，能证明复杂的数学理论。
数学家利用计算工具解决复杂问题、证明理论，AI系统则可以加速这一过程。虽然一些大语言模型在能力上很有潜力，但人们很难验证它们推理的正确性，因为它们是用非正式的自然语言文本进行训练和操作的。
在本项研究中，DeepMind团队演示了如何让增强学习在一个正式数学软件环境中工作，从而生成推理过程能被自动验证的证明，有望克服上述挑战。
据研究团队介绍，AlphaProof为证明数学命题而设计，其在对8000万个命题进行自动形式化后，通过增强学习找出这些证明方法，因此，AlphaProof被证明能提升之前先进AI系统在既往数学竞赛问题上的结果。
2024年，在一项权威的高中水平数学竞赛——国际数学奥林匹克竞赛上，AlphaProof解出了竞赛的复杂问题：在比赛过程中，AlphaProof联合名为AlphaGeometry的几何解题系统，解出6个竞赛问题中的4个，取得相当于银牌水平的高分。
《自然》同期发表同行专家的“新闻与观点”文章指出，虽然AlphaProof在竞赛级数学推理领域的表现令人惊艳，但它在求解其他形式难题上还存在一些局限性，建议作为未来的研究方向，而克服这些局限，将使AlphaProof成为一个重要的复杂数学问题解题工具。(完)
zhenduishangshuqingkuang，tongyongqichegaoguanbiaoshi，qiyeduiniuzhuanzhongguoshichangdexiaoshoujumianrengyouxinxin，tamenxiwangqixiaxinnengyuanchexingnengzaizhongguoshichangjixufali。jupengboshebaodao，tongyongqichedongshichangjianshouxizhixingguanmali·bolaciqianbiaoshi，“dangniguanchazhongguoshichangshi，huifaxiantayu5nianqianyouhendabutong。womenxiwangnenggouyizhengquedefangshicanyudaozhegeshichangzhong。”jinguanzaizhongguoshichangfenezhanbibuda，dansitelandisiyekanhaozhongguoshichang，bing“rugu”zhongguocheqi。qunian10yue，sitelandisixuanbuyuzhongguolingpaoqichechengweiquanqiuzhanlvehuoban，bingxianghouzhetouzi15yiouyuan。针(zhen)对(dui)上(shang)述(shu)情(qing)况(kuang)，(，)通(tong)用(yong)汽(qi)车(che)高(gao)管(guan)表(biao)示(shi)，(，)企(qi)业(ye)对(dui)扭(niu)转(zhuan)中(zhong)国(guo)市(shi)场(chang)的(de)销(xiao)售(shou)局(ju)面(mian)仍(reng)有(you)信(xin)心(xin)，(，)他(ta)们(men)希(xi)望(wang)旗(qi)下(xia)新(xin)能(neng)源(yuan)车(che)型(xing)能(neng)在(zai)中(zhong)国(guo)市(shi)场(chang)继(ji)续(xu)发(fa)力(li)。(。)据(ju)彭(peng)博(bo)社(she)报(bao)道(dao)，(，)通(tong)用(yong)汽(qi)车(che)董(dong)事(shi)长(chang)兼(jian)首(shou)席(xi)执(zhi)行(xing)官(guan)玛(ma)丽(li)·(·)博(bo)拉(la)此(ci)前(qian)表(biao)示(shi)，(，)“(“)当(dang)你(ni)观(guan)察(cha)中(zhong)国(guo)市(shi)场(chang)时(shi)，(，)会(hui)发(fa)现(xian)它(ta)与(yu)5(5)年(nian)前(qian)有(you)很(hen)大(da)不(bu)同(tong)。(。)我(wo)们(men)希(xi)望(wang)能(neng)够(gou)以(yi)正(zheng)确(que)的(de)方(fang)式(shi)参(can)与(yu)到(dao)这(zhe)个(ge)市(shi)场(chang)中(zhong)。(。)”(”)尽(jin)管(guan)在(zai)中(zhong)国(guo)市(shi)场(chang)份(fen)额(e)占(zhan)比(bi)不(bu)大(da)，(，)但(dan)斯(si)特(te)兰(lan)蒂(di)斯(si)也(ye)看(kan)好(hao)中(zhong)国(guo)市(shi)场(chang)，(，)并(bing)“(“)入(ru)股(gu)”(”)中(zhong)国(guo)车(che)企(qi)。(。)去(qu)年(nian)1(1)0月(yue)，(，)斯(si)特(te)兰(lan)蒂(di)斯(si)宣(xuan)布(bu)与(yu)中(zhong)国(guo)零(ling)跑(pao)汽(qi)车(che)成(cheng)为(wei)全(quan)球(qiu)战(zhan)略(lve)伙(huo)伴(ban)，(，)并(bing)向(xiang)后(hou)者(zhe)投(tou)资(zi)1(1)5(5)亿(yi)欧(ou)元(yuan)。(。)