[返回科技频道首页]·[所有跟贴]·[ 回复本贴 ]·[分区新闻]·[繁體閱讀]·[版主管理]
说点题外话:AI和人的智能的区别。
送交者: 张旺教授[中书令★★★] 于 2017-07-15 21:04 已读 92 次  

回答: Journal Club第三期集中讨论贴 由 强生 于 2017-07-14 15:10

AI受制于计算,如果一个问题是指数时间,目前AI基本上无能为力。但人的大脑可以解决超难问题,比如一些猜想(如彭加勒猜想)的证明。


从四色猜想的证明起有一个很有趣的人机合作现象:即人类设计出需要检查的有限个情形,但人力无法在合理时间内检查每个情形,交给计算机则可用较短时间做到。

最近的一个人机合作例子是1998年Thomas Hales关于Kepler猜想的证明。几个审稿人用了好几年时间竟然无法100%验证证明的对错,最后累得不行,说证明99%是对的,同意发表,论文也发表了。

后来Hales找人合作研究Kepler猜想的机器证明。今年不久前, Forum of Mathematics 刚在线发表了他们的证明。这算是对Kepler猜想的彻底解决吧。

评分完成:已经给 张旺教授 加上 50 银元!

喜欢张旺教授朋友的这个贴子的话,[请点这里投票,“赞”助支持!]
[张旺教授的博客]·[ID前期主贴发言]·[返回科技频道首页]·[所有跟贴]·[-->>回复本贴]· [-- 登录后分享可获积分 --] ·[返回前页]
贴子内容是网友自行贴上分享,如果您认为其中内容违规或者侵犯了您的权益,请与我们联系,我们核实后会第一时间删除。

所有跟贴:        ( 提醒:主贴楼主有权将不文明回复的用户拉入他/她的黑名单,被多名主贴网友标记为黑名单的ID将被系统禁止在本栏目的回帖评论;)


加跟贴(积极回贴支持发贴的朋友,才能欣赏到更多精品好贴!)

用户名:密码:[--注册ID--]

标 题:

[所见即所得|预览模式]  [旧版发帖帮助]  [所见即所得发帖帮助]

粗体 斜体 下划线 居中 插入图片插入图片 插入Flash插入Flash动画 插入音乐插入音乐  插入视频


 发布前预览  图片上传 Youtube代码生成器

楼主前期本版热贴推荐:

>>>>查看更多楼主社区动态...






[ 留园条例 ] [ 广告服务 ] [ 联系我们 ] [ 个人帐户 ] [ 版主申请 ] [ Contact us ]