DeepMind最新的人工智能系统AlphaGeometry在高中数学中表现出色-彭博社
Mark Bergen
在本周发表在Nature的一篇论文中,DeepMind介绍了一个名为AlphaGeometry的系统,它比先前的计算机程序更好地证明了复杂的几何定理。
摄影师:Gabby Jones/Bloomberg谷歌DeepMind,Alphabet Inc.的研究部门,表示他们已经迈出了使人工智能像人类一样有能力的“关键一步”。这涉及解决高中数学问题。
在本周发表在Nature的一篇论文中,DeepMind介绍了一个名为AlphaGeometry的系统,它比先前的计算机程序更好地证明了复杂的几何定理。该公司的研究人员将这视为人工智能应用推理和规划到任务的重大突破,即使是当今先进的模型也无法做到这一点,但科学家们认为这对于假设的未来人工通用智能或AGI是必要的。
“我认为这是人工智能的一项重大挑战之一,”谷歌的杰出科学家之一、该论文的合著者之一Quoc Le在接受采访时说。“几年前,我会说这是不可能的。”
去年,谷歌将其研究部门与总部位于伦敦的DeepMind合并,以更好地参与建立人工智能产品的高风险竞赛。多年来,谷歌在这项技术上投入了大量资金,但被普遍认为在生成式人工智能这一新兴领域落后于OpenAI和微软公司。去年12月,谷歌发布了Gemini,这是支撑其聊天机器人Bard的人工智能模型,该公司表示在某些基准测试中可以超越OpenAI的GPT-4。
这些生成式人工智能工具在自然对话或生成图像方面表现得相当不错,但在规划或处理需要多个步骤的问题时会遇到困难,Le说道。这就是为什么它们在解决几何和其他高等数学问题上表现不佳。在《自然》杂志上,AlphaGeometry解决了数学奥林匹克竞赛中的一系列问题,表现几乎和顶尖高中竞争者一样出色。
人工智能系统一直面临困难,主要是因为没有足够的可用数据来训练它们自主学习,不像聊天机器人可以从丰富的在线文本中获取信息。为了解决这个问题,DeepMind制作了自己的数据集,创建了1亿个几何构造的独特示例供人工智能系统吸收。制作这种所谓的合成数据是昂贵的:谷歌的科学家们用了3天时间部署了10万个中央处理单元来创建数据集。公司拒绝透露成本。
AlphaGeometry不会立即纳入到Gemini中,但另一位合著者Thang Luong表示,他想象这个系统最终可能会帮助作为数学导师在Bard等服务中发挥作用。谷歌因未能迅速将一些研究进展转化为商业产品而受到批评。
谷歌决定开源AlphaGeometry,免费向他人提供代码和模型——这种做法可能会增加技术被不良行为者滥用的风险。Le表示,在公司对系统的风险评估和科学的当前进展方面,他对此并不担心。“如果你仔细观察当今的人工智能及其所能做的事情,你会惊讶地发现它在数学领域表现不佳,”他说。