中新网北京11月13日电 (记者 孙自法)国际知名学术期刊《自然》最新发表一篇人工智能(AI)研究论文称，谷歌(Google)旗下DeepMind研发推出一个AI系统，能证明复杂的数学理论。
数学家利用计算工具解决复杂问题、证明理论，AI系统则可以加速这一过程。虽然一些大语言模型在能力上很有潜力，但人们很难验证它们推理的正确性，因为它们是用非正式的自然语言文本进行训练和操作的。
在本项研究中，DeepMind团队演示了如何让增强学习在一个正式数学软件环境中工作，从而生成推理过程能被自动验证的证明，有望克服上述挑战。
据研究团队介绍，AlphaProof为证明数学命题而设计，其在对8000万个命题进行自动形式化后，通过增强学习找出这些证明方法，因此，AlphaProof被证明能提升之前先进AI系统在既往数学竞赛问题上的结果。
|
版权声明 本文仅代表作者观点，不代表本站立场。
如遇本文系为网络转载到本站发表，图片或文章有版权问题的请联系客服确认后会立即删除文章。 如遇本文系作者授权本站发表，未经许可，不得转载。 24小时热闻
今日推荐
(c)2016-2021 SOQUANMAO.COM All Rights Reserved搜全贸版权所有 浙ICP备19001410号-1
免责声明本网站（以下简称“本站”）提供的内容来源于互联网收集或转载，仅供用户参考，不代表本站立场。本站不对内容的准确性、真实性或合法性承担责任。我们致力于保护知识产权，尊重所有合法权益，但由于互联网内容的开放性，本站无法核实所有资料，请用户自行判断其可靠性。 如您认为本站内容侵犯您的合法权益，请通过电子邮件与我们联系：675867094@qq.com。请提供相关证明材料，以便核实处理。收到投诉后，我们将尽快审查并在必要时采取适当措施（包括但不限于删除侵权内容）。本站内容均为互联网整理汇编，观点仅供参考，本站不承担任何责任。请谨慎决策，如发现涉嫌侵权或违法内容，请及时联系我们，核实后本站将立即处理。感谢您的理解与配合。 合作联系方式如有合作或其他相关事宜，欢迎通过以下方式与我们联系：
|
0 条