国际最新研发一AI系统：能证明复杂数学理论
中新网北京11月13日电 (记者 孙自法)国际知名学术期刊《自然》最新发表一篇人工智能(AI)研究论文称，国际谷歌(Google)旗下DeepMind研发推出一个AI系统，最新杂数能证明复杂的系统学理数学理论。
数学家利用计算工具解决复杂问题、明复证明理论，国际AI系统则可以加速这一过程。最新杂数虽然一些大语言模型在能力上很有潜力，系统学理但人们很难验证它们推理的明复正确性，因为它们是国际用非正式的自然语言文本进行训练和操作的。
在本项研究中，最新杂数DeepMind团队演示了如何让增强学习在一个正式数学软件环境中工作，系统学理从而生成推理过程能被自动验证的明复证明，有望克服上述挑战。国际
据研究团队介绍，最新杂数AlphaProof为证明数学命题而设计，系统学理其在对8000万个命题进行自动形式化后，通过增强学习找出这些证明方法，因此，AlphaProof被证明能提升之前先进AI系统在既往数学竞赛问题上的结果。
2024年，在一项权威的高中水平数学竞赛——国际数学奥林匹克竞赛上，AlphaProof解出了竞赛的复杂问题：在比赛过程中，AlphaProof联合名为AlphaGeometry的几何解题系统，解出6个竞赛问题中的4个，取得相当于银牌水平的高分。
《自然》同期发表同行专家的“新闻与观点”文章指出，虽然AlphaProof在竞赛级数学推理领域的表现令人惊艳，但它在求解其他形式难题上还存在一些局限性，建议作为未来的研究方向，而克服这些局限，将使AlphaProof成为一个重要的复杂数学问题解题工具。(完)
(责任编辑：知识)
美乌代表在日内瓦会晤 双方均称“取得进展”
外媒：泰国计划包机接回滞留柬埔寨的公民
完成华夏凯德商业REIT询价 从9月9日开始募集
SFDA创意人才计划“第二幕”公布，新浪潮时尚大赛入围名单公布
高市早苗言论被批“违宪且违法”，日本政界与民间批评持续升温推荐文章
-
警银同心筑防线 金融为民护安全 ——民生银行合肥分行反欺诈纪录
随着电信网络诈骗手段层出不穷，风险隐患不断蔓延，保护人民财产安全已成为金融机构的重要使命。中国民生银行合肥分行(以下简称“合肥分行”)始终坚持“为公众服务” 关爱民生的企业使命，以反欺诈工作为实践社会
...[详细]
-
中新网12月17日电 据外媒报道，当地时间12月16日，泰国国家安全委员会表示，泰方将安排包机接回滞留在柬埔寨的泰国公民。据报道，泰国国家安全委员会秘书长差猜·邦触表示，该委员会已指示外交部协调安排滞
...[详细]
-
1月17日至18日，喀麦隆执政党人民主联盟中央委员、东部地区省委书记恩迪拉西率领的干部代表团访问泉州，深入参观民营经济发展密码和华侨文化遗产，为中喀两国的交流与合作搭建新桥梁。考察团行程首站到来&ld
...[详细]
-
中新网1月26日电 据德媒报道，当地时间25日，德国柏林发生严重枪击事件，目前已致5人受伤，其中2人情况危急。报道援引德国当局的消息称，警方封锁了案发区域，已有数人被捕，目前调查仍在进行中。
...[详细]
-
中新社约翰内斯堡11月21日电 (记者 孙翔)联合国秘书长古特雷斯21日在约翰内斯堡举行媒体吹风会，就全球治理不公和经济不平等问题发出了呼吁，“各国必须构筑贸易之桥，而不是贸易之墙”、“G20应带头消
...[详细]
-
核心提示：赢商网《2025年12月人气购物中心排行榜》上，23城、410个上榜人气商场，月度场日均客流规模均值5.82万人次左右，环比提升2.5%。
...[详细]
-
中新社巴黎12月21日电 (记者 李洋)法国总统马克龙21日宣布，法国将建造一艘新的航空母舰，用于替代目前使用中的“戴高乐”号航母。马克龙当天访问阿拉伯联合酋长国首都阿布扎比期间向当地法国军队讲话时做
...[详细]
-
今日外汇市场分析：全球降息潮迎拐点？2026年货币政策走向分歧
亚盘市场行情 周一，美元指数开盘后持续下行，盘中一度跌至98.19的日内低点，截至目前，美元报价98.05
...[详细]
-
中新社北京11月27日电 比绍消息：当地时间11月26日，几内亚比绍武装部队在国家电视台发表声明，宣布接管国家权力并采取包括解散所有公共机构、关闭边界等多项紧急措施。综合美联社、法国24新闻台等媒体消
...[详细]
-
当地时间26日，据乌克兰方面消息，乌克兰总统泽连斯基表示，他计划28日与美国总统特朗普在佛罗里达州举行会晤，讨论对乌克兰的安全保障和一些“敏感”问题。泽连斯基称，在乌美领导人会晤中，包括领土问题等“任
...[详细]
热点阅读
