国际最新研发一AI系统：能证明复杂数学理论
中新网北京11月13日电 (记者 孙自法)国际知名学术期刊《自然》最新发表一篇人工智能(AI)研究论文称，谷歌(Google)旗下DeepMind研发推出一个AI系统，能证明复杂的数学理论。
数学家利用计算工具解决复杂问题、证明理论，AI系统则可以加速这一过程。虽然一些大语言模型在能力上很有潜力，但人们很难验证它们推理的正确性，因为它们是用非正式的自然语言文本进行训练和操作的。
在本项研究中，DeepMind团队演示了如何让增强学习在一个正式数学软件环境中工作，从而生成推理过程能被自动验证的证明，有望克服上述挑战。
据研究团队介绍，AlphaProof为证明数学命题而设计，其在对8000万个命题进行自动形式化后，通过增强学习找出这些证明方法，因此，AlphaProof被证明能提升之前先进AI系统在既往数学竞赛问题上的结果。
2024年，在一项权威的高中水平数学竞赛――国际数学奥林匹克竞赛上，AlphaProof解出了竞赛的复杂问题：在比赛过程中，AlphaProof联合名为AlphaGeometry的几何解题系统，解出6个竞赛问题中的4个，取得相当于银牌水平的高分。
《自然》同期发表同行专家的“新闻与观点”文章指出，虽然AlphaProof在竞赛级数学推理领域的表现令人惊艳，但它在求解其他形式难题上还存在一些局限性，建议作为未来的研究方向，而克服这些局限，将使AlphaProof成为一个重要的复杂数学问题解题工具。(完)
近日，国家知识产权局等五部门联合印发了《专利产业化促进中小企业成长计划实施方案》（以下简称《实施方案》）。《实施方案》提出，到2025年底，中小企业知识产权意识和专利转化运用能力得到普遍提升 3月22日黎明，太阳系中最明亮的行星金星与太阳系中拥有最多卫星的行星土星将在东南方低空近距离相伴，上演“结伴游”。北京星空摄影爱好者王俊峰2023年1月23日在北京西城区拍摄的金星（左上）、土星 在3月24日世界防治结核病日前夕，比尔及梅琳达∙盖茨医学研究所（以下简称盖茨医学研究所）宣布，启动评估结核病候选疫苗M72有效性的Ⅲ期临床试验。在Ⅱb期试验中，数据显示这一新疫苗可为艾滋病毒检 记者从近日举办的新疆筹建融合算力中心研讨会上获悉，新疆将构建具备国家级算力水平的涵盖超算、智算的融合算力中心。到2024年底，建成超算算力（FP64）不低于200P Flops、智算算力（FP16）不低于400P F 据一项在本周举行的美国心脏协会会议上提交的新研究，每天进食时间控制在8小时内的间歇性禁食方法可能与心脏病死亡风险上升相关。近年来越来越流行的间歇性禁食指限制进食时间，在每天或每周的 3月23日消息，vivo即将于3月26日发布vivo X Fold3系列折叠屏电话，其中包含vivo X Fold3和vivo X Fold3 Pro两款新品。据悉，vivo X Fold3采用了首发的碳纤维龙骨铰链，重量仅为219克，厚度为4.65毫米。相 。本文链接：国际最新研发一AI系统：能证明复杂数学理论http://www.sushuapos.com/show-2-14282-0.html
声明：本网站为非营利性网站，本网页内容由互联网博主自发贡献，不代表本站观点，本站不承担任何法律责任。天上不会到馅饼，请大家谨防诈骗！若有侵权等问题请及时与本网联系，我们将在第一时间删除处理。
上一篇： AI争霸已切换至“能源战场”，大摩预测2028年美国电力缺口达20%
下一篇： 拒绝第三方赚差价，机器人企业转向二次开发