国际最新研发一AI系统：能证明复杂数学理论
中新网北京11月13日电 (记者 孙自法)国际知名学术期刊《自然》最新发表一篇人工智能(AI)研究论文称，国际谷歌(Google)旗下DeepMind研发推出一个AI系统，最新杂数能证明复杂的系统学理数学理论。
数学家利用计算工具解决复杂问题、明复证明理论，国际AI系统则可以加速这一过程。最新杂数虽然一些大语言模型在能力上很有潜力，系统学理但人们很难验证它们推理的明复正确性，因为它们是国际用非正式的自然语言文本进行训练和操作的。
在本项研究中，最新杂数DeepMind团队演示了如何让增强学习在一个正式数学软件环境中工作，系统学理从而生成推理过程能被自动验证的明复证明，有望克服上述挑战。国际
据研究团队介绍，最新杂数AlphaProof为证明数学命题而设计，系统学理其在对8000万个命题进行自动形式化后，通过增强学习找出这些证明方法，因此，AlphaProof被证明能提升之前先进AI系统在既往数学竞赛问题上的结果。
2024年，在一项权威的高中水平数学竞赛——国际数学奥林匹克竞赛上，AlphaProof解出了竞赛的复杂问题：在比赛过程中，AlphaProof联合名为AlphaGeometry的几何解题系统，解出6个竞赛问题中的4个，取得相当于银牌水平的高分。
《自然》同期发表同行专家的“新闻与观点”文章指出，虽然AlphaProof在竞赛级数学推理领域的表现令人惊艳，但它在求解其他形式难题上还存在一些局限性，建议作为未来的研究方向，而克服这些局限，将使AlphaProof成为一个重要的复杂数学问题解题工具。(完)
(责任编辑：休闲)
与时间共舞，许一个2026年的愿望
代码流光润心田，少年写星河
重返青瓦台，韩国总统府开始搬迁
德国柏林发生严重枪击事件：5人受伤，其中2人伤势严重
特朗普：将永久暂停来自所有“第三世界国家”的移民-
“跨越山海 交流互鉴”裴德乐的中国情缘主题交流活动在古巴举行
中新网北京11月12日电 哈瓦那消息：“跨越山海 交流互鉴”裴德乐的中国情缘主题交流活动当地时间10日在位于古巴首都哈瓦那的古巴神经科学中心举行。150余名中外嘉宾共同见证主题图书《裴德乐的中国故事》
...[详细]
-
芬兰总理访华：北极光辉映东方光芒，中芬友谊历久弥新｜图览天下
中新网1月25日电 外交部发言人1月22日宣布：应国务院总理李强邀请，芬兰总理奥尔波将于1月25日至28日对中国进行正式访问。地处北欧的芬兰，是最早承认新中国的西方国家之一，当前中芬关系发展良好。中芬
...[详细]
-
一场大规模冬季风暴连日来横扫美国多地，已导致全美境内超过90万用户断电。最新数据显示，25日当天，全美仍有超过1万架次航班取消。截至当天中午，全美超过90万用户因这场大规模冬季风暴断电，南部的田纳西州
...[详细]
-
核心提示：赢商网《2025年12月人气购物中心排行榜》上，23城、410个上榜人气商场，月度场日均客流规模均值5.82万人次左右，环比提升2.5%。
...[详细]
-
中新社北京11月28日电 平壤消息：朝中社28日发表评论文章，谴责美韩近期的军事演习和增兵活动，指责美国威胁和平稳定、破坏战略安全平衡。文章说，近期，美国和韩国以应对“渗透”为由，出动导弹驱逐舰和反潜
...[详细]
-
近日，福建省工业和信息化厅公布了2025年福建省专业新中小企业名单，包括泉州创新电子科技有限公司、福建毫米电子有限公司、泉州金山石材工具科技有限公司、泉州历城福辉汽车配件有限公司、福建汇顺检测集团有限
...[详细]
-
中国中海商业资产REIT回复询问函 基础设施项目估值降至12.90亿元
核心提示：华夏基金管理有限公司、中信证券有限公司回复询价函，回复项目合规性、项目运营、项目估值和现金流预测。9月9日，华夏基金管理有限公司、中信证券有限公司就华夏中海商业资产封闭基础设施证券投资基金上
...[详细]
-
近日，福建省工业和信息化厅公布了2025年福建省专业新中小企业名单，包括泉州创新电子科技有限公司、福建毫米电子有限公司、泉州金山石材工具科技有限公司、泉州历城福辉汽车配件有限公司、福建汇顺检测集团有限
...[详细]
-
中新网北京11月23日电 阿布贾消息：尼日利亚基督教协会当地时间22日表示，该国西北部一所天主教学校的315名师生日前遭武装人员绑架。据英国广播公司报道，21日凌晨，一伙武装人员闯入尼日利亚尼日尔州阿
...[详细]
-
昨天，记者从晋江交警大队了解到，从1月30日起，晋江将启用和优化10名电子警察，主要捕捉违反规定停车、违反禁令标志、闯红灯、不按道路、按线、不系安全带、拨打手机等交通违章行为。新增电子警察的具体点如下
...[详细]
