门户
图库
科技
数据
VR
区块链
学院
论坛
百科
导航
登录
注册
帮助中心
公社首页
中国人工智能社区
公社版块
广播
Follow
升级会员
动态
Space
用户名
Email
自动登录
找回密码
密码
登录
立即注册
登录后你可以:
登录
首次使用?
点我去注册
搜索
搜索
本版
文章
帖子
公社群组
用户
好友
收藏
道具
勋章
任务
淘帖
动态
日志
相册
分享
记录
留言板
广播
群组
门户
导读
排行榜
设置
我的收藏
退出
首页
›
公社水吧
›
大话智能
›
能解国际奥数竞赛题的AI系统问世,接近人类破解复杂逻辑 ...
返回列表
能解国际奥数竞赛题的AI系统问世,接近人类破解复杂逻辑问题的最高水平
[复制链接]
vagrant01
2024-1-21 09:36:34
显示全部楼层
|
阅读模式
研究示意图。 图片来源:《自然》
科技日报记者 张梦然
《自然》17日发表的一项计算科学研究,描述了一个能解国际数学奥林匹克竞赛级别几何题的人工智能(AI)系统。其表现超过了之前最好的自动化定理证明系统。该研究证明了AI已接近人类破解复杂逻辑问题的最高水平。
奥林匹克竞赛中的数学定理证明需要高水平的逻辑推理和解题能力。然而,当前基于机器学习的AI系统在证明数学定理方面还有困难。机器学习通过向计算机提供参考数据,让计算机学习如何执行特定任务。但由于作为训练数据的人类示范很少,所以定理证明,尤其是几何学定理很难被证明。
谷歌“深度思维”团队此次描述了一种不需要人类示范的定理证明方法。基于这一方法的AI系统名为“阿尔法几何”(G0)。它综合了复杂程度各异的数百万条定理和证明,并利用一个神经语言模型完成自我训练。这种方法结合符号演绎引擎(能搜索难题中的大量分支点),能让G0在无需人类直接输入的情况下学习并解开复杂问题。
团队用国际数学奥林匹克竞赛2000年至2020年间的30个问题测试了该系统。G0解出了其中25题,接近国际数学奥林匹克竞赛金牌选手的平均表现。而之前最优秀的方法只解出了10题。值得一提的是,G0能生成人类可阅读的证明,甚至发现了2004年国际数学奥林匹克竞赛定理的一个新版本。
研究人员指出,G0目前仅限于证明几何学定理,但这种方法或许能应用于其他数学领域。
总编辑圈点
让AI做一个定理证明,其实比让AI来玩围棋、国际象棋等更具挑战性。想要证明一个特定猜想的真假,需要使用高级别的逻辑推理能力。这比其他识别、分类任务要难得多。棋类的走法总会被预测出来,即使算法没有给出最佳方案,结果也能“殊途同归”。但在定理证明中,只要算法有一次走入死胡同,那就宣告本次解答失败。性能再好的系统也没办法。这就是为什么人们一直把数学定理证明视为构建智能机器的关键能力,也是为什么这项成果意义重大的原因。
本网站转载的所有的文章、图片、音频视频文件等资料的版权归版权所有人所有。如因无法联系到作者侵犯到您的权益,请与本网站联系,我们将采取适当措施。
本帖子中包含更多资源
您需要
登录
才可以下载或查看,没有账号?
立即注册
x
回复
使用道具
举报
发表新帖
高级模式
B
Color
Image
Link
Quote
Code
Smilies
您需要登录后才可以回帖
登录
|
立即注册
本版积分规则
发表回复
回帖并转播
回帖后跳转到最后一页
vagrant01
注册会员
0
关注
0
粉丝
15
帖子
Ta的主页
发布
发消息
加好友
最近发表
出自天府绛溪实验室 超小型便携式测绘无人机来了
中源家居微跌0.61% 智能家居生态布局引关注
第1现场|莫斯科遭大规模无人机袭击,已致1死5伤
以下是五款综合考虑续航时间和价格的无人机推荐
突发!大量无人机飞往莫斯科,俄紧急处理
美国空军一把手下令改名,美军2款五代无人机转正,或将一起量产
公社版块
版块推荐
更多版块
智能穿戴
智能家居
机器人
无人驾驶
无人机
反馈吐槽
闲聊灌水
大话智能
大数据
图像识别
自然语言
数据挖掘
大话智能
数据挖掘
北大讲座
清华讲座
网贷观察
股市评论
区块链
闲聊灌水
反馈吐槽
站务通知
关注我们