中新社北京11月13日电 (孙子)国际知名学术期刊《自然》近日发表人工智能(AI)研究文章，称谷歌子公司DeepMind开发出可测试复杂数学理论的AI系统。
数学家使用计算工具来解决复杂问题和测试理论，而人工智能系统可以加速这一过程。一些大规模语言模型在功能方面具有巨大潜力，但由于它们是在非正式自然语言文本上训练和操作的，因此很难验证其推论的正确性。
在这项工作中，DeepMind 团队演示了强化学习如何在正式的数学软件环境中工作，以生成推理过程可以自动验证的证明。预计这将克服上述挑战。
研究团队表示，AlphaProof 旨在证明数学命题职位。在自动形式化 8000 万个命题后，我们找到了使用强化学习来测试它们的方法。因此，AlphaProof 已被证明可以改善先前先进人工智能系统在先前数学技能问题上的结果。
2024年，AlphaProof解决了国际数学奥林匹克竞赛中的复杂竞赛问题，这是一项著名的高中级别数学竞赛。比赛期间，AlphaProof 与名为 AlphaGeometry 的几何问题解决系统合作，解决了比赛六个问题中的四个，取得了相当于银牌的高分。
Nature 还发表了同行专家的新闻与观点文章，指出虽然 Alp 在竞争性数学推理领域的表现令人印象深刻，但其解决其他形式难题的能力仍然有限，建议作为未来研究的方向。克服这些限制使得 AlphaProof 成为一个重要的工具解决复杂的数学问题。 （已完）【编辑：甘田】
中国动漫影视如何更好地“走出去”？
体温过低是否只发生在寒冷的气候中？
东西方问答丨王毅：为什么是86？该国是否将汉语纳入国民教育体系？
美国，我们承受不起伤害。
中国跳水新泳姿全国大赛及企业斩获14枚金牌
中国消除数字鸿沟、积极推动全球化的理念将成为“稳定器”
2017年“双11”，今年又会带来哪些新变化？
中国建立全国统一市场对世界有何裨益？
只有老年人才会得带状疱疹吗？
粤港澳19市合作参加全国大会
中国庞大的市场为全球创新提供了广泛的应用场景
共同保护地球：从巴西亚马逊到中国生态环境保护实践，审视全球气候行动
再也不用坐两次飞机了。人民空军，生日快乐！
专家评美国“航行自由”：双重标准，打着和平幌子进行霸权行动
中国科技史从“互联网+”走向“AI+”
11.11不仅仅是购物，更是保障。向人民空军致敬！
加湿器中添加消毒剂可以抑制细菌吗？小心肺炎！
网络名称“wireless”后面的“5G”是否与手机上的5G信号相同？