国际最新研发一AI系统：能证明复杂数学理论
中新网北京11月13日电 (记者 孙自法)国际知名学术期刊《自然》最新发表一篇人工智能(AI)研究论文称，国际谷歌(Google)旗下DeepMind研发推出一个AI系统，最新杂数能证明复杂的系统学理数学理论。
数学家利用计算工具解决复杂问题、明复证明理论，国际AI系统则可以加速这一过程。最新杂数虽然一些大语言模型在能力上很有潜力，系统学理但人们很难验证它们推理的明复正确性，因为它们是国际用非正式的自然语言文本进行训练和操作的。
在本项研究中，最新杂数DeepMind团队演示了如何让增强学习在一个正式数学软件环境中工作，系统学理从而生成推理过程能被自动验证的明复证明，有望克服上述挑战。国际
据研究团队介绍，最新杂数AlphaProof为证明数学命题而设计，系统学理其在对8000万个命题进行自动形式化后，通过增强学习找出这些证明方法，因此，AlphaProof被证明能提升之前先进AI系统在既往数学竞赛问题上的结果。
2024年，在一项权威的高中水平数学竞赛——国际数学奥林匹克竞赛上，AlphaProof解出了竞赛的复杂问题：在比赛过程中，AlphaProof联合名为AlphaGeometry的几何解题系统，解出6个竞赛问题中的4个，取得相当于银牌水平的高分。
《自然》同期发表同行专家的“新闻与观点”文章指出，虽然AlphaProof在竞赛级数学推理领域的表现令人惊艳，但它在求解其他形式难题上还存在一些局限性，建议作为未来的研究方向，而克服这些局限，将使AlphaProof成为一个重要的复杂数学问题解题工具。(完)
(责任编辑：综合)
2025年前9个月从德国移居美国人数显著下降
腾势品牌正式进入巴西 开启拉美豪华电动新纪元
中金唯品会奥莱REIT将于9月12日在上海证券交易所上市
中金中国绿发商业REIT定于6月9日询价 区间为2.754元/份至3.366元/份
美国阿拉斯加州发生6.0级地震 震源深度70千米推荐文章
-
中新网11月23日电 据《日本经济新闻》报道，针对日本首相高市早苗的涉台错误言论，日本前首相石破茂23日表示，在牵涉到外交的问题上，这不是“过一时嘴瘾”的话题。
...[详细]
-
今日外汇市场分析：日债收益率冲破26年高位、美制造业PMI持续萎缩
亚盘市场行情 周一，美元指数先涨后跌，盘中刷新去年12月10日以来高位，但美盘时段持续下行，截至目前，美元报价98.22.
...[详细]
-
12月16日，美元USD）在周二早些时候趋于稳定，此前周一对其主要竞争对手略有下跌。美国经济日历将包含10月和11月的非农就业NFP）数据，以及11月的工资通胀和失业率数据。此
...[详细]
-
中新社柏林12月9日电 (记者 马秀秀)德国联邦统计局9日公布的初步数据显示，经工作日和季节性调整后，2025年10月德国出口额环比增长0.1%，达到1313亿欧元，表现好于专家此前预计的0.5%降幅
...[详细]
-
当地时间11月26日，美国多名执法官员称，枪击两名国民警卫队成员的嫌疑人是29岁的阿富汗公民拉赫曼努拉·拉坎瓦尔，他于2021年进入美国。当天稍早时，两名国民警卫队成员在美国白宫附近遭枪击。遭枪击的两
...[详细]
-
核心提示：中海环宇商业主要负责中海商业资产的开发和管理，拥有环宇城、环宇辉、环宇广场三条产品线，重点布局国内核心城市。6月25日，深圳证券交易所网站披露，中国中海商业资产REIT已正式提交申请材料，项
...[详细]
-
中新网12月19日电 综合美联社、美国有线电视新闻网(CNN)报道，当地时间18日，美国北卡罗来纳州公路巡逻队称，一架小型私人飞机当日在斯泰茨维尔起飞后不久坠毁，造成7人死亡。
...[详细]
-
核心提示：9月9日，华夏凯德商业REIT宣布，由于公众投资者的累计有效认购规模超过了初始募集规模的上限，决定提前结束募集，并进行比例配售。9月9日，华夏凯德商业资产封闭基础设施证券投资基金(华夏凯德商
...[详细]
-
亚马逊云科技首席执行官Matt Garman：AI助手正在逐渐让位于AI Agent
新浪科技讯 12月4日晚间消息，在亚马逊云科技2025re：Invent全球大会上，亚马逊云科技首席执行官Matt Garman表示，AI助手正在逐渐让位于AI Agent。“它们能够理解意图、执行任
...[详细]
-
昨天，记者从中国铁路部门获悉，2026年春运高峰从2月2日至3月13日结束，为期40天。节前客流高峰预计为2月13日(腊月二十六)，节后客流高峰预计为2月23日(正月初七)。根据提前15天开始销售火车
...[详细]
热点阅读
