与机器是否创新有关的例子
最后更新 2022-09-05
浏览 11次
主讲人
危辉
复旦大学
四色问题是第一个由机器证明出来的定理。人工智能界早期做定理证明的时候，有一个非常巧妙的例子。要证明等腰三角形的两个底角是相等的，最通常的想法是做一个垂直平分线，两个直角三角形全等，两个底角就相等。我们也希望机器这样去证。出乎意料的是，机器的证明方法是证明三角形ABC跟三角形ACB全等，就是证明一个三角形跟它的镜像是全等的。这种证明的方法很少见，但机器想到了。这个程度上的创新比机器下棋创新的程度要大。但从人工智能来讲，还不能算是一种创新，它就是在一个有限范畴下的类推。下棋和这个例子没有本质的区别。
同主题知识点（人工智能能否超越人类？）
- 危辉教授对人工智能的乐观与悲观
- 为什么人跟机器下棋会输？
- 人工智能的春天真的到了吗？
- 双人棋盘游戏的几个例子
- 双人博弈游戏的共同特点
- 为什么说下棋程序是人工智能的“软柿子”？
- 计算机如何处理博弈游戏——以“分堆游戏”为例
- 围棋的特殊之处
- 棋盘的所有可能性布局可以庞大到什么程度？
- 歧路寻羊带来的启示
- 如何提高搜索效率？
- “以一当十”，虽败犹荣
- AlphaGo下棋有“创新”吗？
- 与机器是否创新有关的例子
- 机器如何“思考”下棋？
- AlphaGo存在的一些技术细节与进步意义
- AlphaGo是怎么学习的？
- AlphaGo能创新吗？
- 国内不做人工智能围棋研究就落后了吗？
- AlphaGo把人打败了，人类智能就此崩塌了吗？
- 为什么说我们要对大自然心存敬畏？
京公网安备 11010202008139号
