谷歌的DeepMind表示其人工智能可以解决数学奥林匹克竞赛问题 - 彭博社
Davey Alba, Julia Love
谷歌的研究人员表示,人工智能在解决问题方面远未能取代人类数学家。
摄影师:Gabby Jones/Bloomberg
摄影师:Andrew Harrer/Bloomberg
谷歌DeepMind,谷歌母公司Alphabet Inc.的人工智能研究部门,表示他们在解决复杂数学问题方面取得了进展,这仍然是当今人工智能程序面临挑战的领域。
周四,谷歌推出了AlphaProof,专门从事数学推理,以及AlphaGeometry 2,这是该公司今年早些时候推出的一个专注于几何学的模型的升级版本。该公司在一篇博文中表示,这些程序在国际数学奥林匹克竞赛中的六个问题中有四个得分完美,该竞赛是一年一度的比赛,学生们在其中探讨代数和几何等主题。
在人工智能行业中,很难比较各种产品,解决数学问题已成为一个关键的证明点。这是因为大型语言模型通常在大量书面文本上进行训练,往往偏向语言而非数学智能。虽然计算机擅长数字和传统计算,但基于文字的数学问题超出了这些规范,需要更复杂的推理技能。
这就是为什么谷歌的研究人员认为其人工智能在著名数学竞赛中的表现很重要。谷歌DeepMind的人工智能科学研究副总裁Pushmeet Kohli在新闻发布会上表示:“这是机器学习和人工智能领域的重大进展。没有开发出能以这种成功率解决问题的系统。”阅读更多: 谷歌DeepMind从研究实验室转向人工智能产品工厂
当人工智能工具在自然对话或生成图像方面变得更加熟练时,它们通常在需要规划或解决多步问题时遇到困难。但是谷歌及其竞争对手并没有放弃。据彭博社报道,该公司最大的竞争对手OpenAI也一直在研究新的推理技术。
AlphaProof是由谷歌在象棋、将棋和围棋等复杂策略游戏中表现优异的人工智能程序发展而来,谷歌表示。DeepMind的一个程序在2016年著名地击败了世界顶级围棋选手之一。
大型语言模型往往会产生幻觉,或者以令人信服的方式提供错误信息。谷歌表示,它通过使用人工智能将数学问题翻译成技术性陈述,或者所谓的“形式语言”,来规避这一挑战。
数学中另一个人工智能系统面临的问题是缺乏可用的训练数据,不像聊天机器人可以从互联网上大量的文本中获取信息。谷歌表示,随着AlphaProof模型成功解决问题,其代码会得到更新,使其能够应对越来越困难的挑战。
该公司还发布了其AlphaGeometry人工智能模型的改进版本,据称能够解决国际数学奥林匹克竞赛过去25年中包含的83%的历史几何问题。
但谷歌的研究人员也表示,人工智能远未能够用其解决问题的能力取代人类数学家。“即使在我们正在努力实现的最大抱负中,我认为我们的目标是提供一个可以证明任何事情的系统,”谷歌DeepMind的强化学习副总裁David Silver说道。“但这并不是数学家所做的全部。”
Silver说,DeepMind的AI模型更像是滑尺或计算器:强大的计算工具,可能有一天会帮助人类提出数学证明。但AI系统缺乏的是想象力。“数学家提出有趣的问题,”他说。
Instagram的母公司Meta Platforms Inc.将允许用户创建自己的AI聊天机器人并将其添加到其个人资料中,这是为了吸引创作者并进一步将公司的人工智能软件整合到其最受欢迎的消费者产品中。
名为AI Studio的功能允许拥有专业帐户的创作者制作定制的AI聊天机器人,这些机器人是“他们自己的延伸”,可以回答粉丝或追随者的常见问题。人们可以告诉他们的机器人要回答哪些类型的问题,或者要避免哪些主题,Meta在一篇博客文章中写道。