01
2016年3月，不到19岁的柯洁在微博上写下了一句话：阿法狗，就算你战胜李世石也赢不了我。
后面的事，大家也知道了。
2017年5月柯洁迎战升级版的AlphaGo Master被3:0完胜，也击碎了他的道心，在网络抽象和金铲铲的道路上一发不可拾。
但是不可否认的是，柯洁还是那个拥有神之一手的围棋天才。
不管是以前还是现在，很多人都觉得，AI是做不了创造性的工作。
因为以前计算机确实只是用于辅助人类的工作，而AI逐渐在瓦解这个刻板印象。
在1976年，两位数学家阿佩尔和哈肯想解一道百年未解之题目：给地图上色，相邻的两块不能同色，四种颜色到底够不够？这题在当年称之为：四色猜想。
这题从1852年被提出一直到1976年，这一百多年来一直没人可以证明出来。
当阿佩尔和哈肯想觉得枚举计算量极大，就通过计算机来辅助，当时的计算机用了一千二百个小时、枚举一百亿种情形，真的把四色猜想给证明了。
而这个证明是人的脑子想不出的那一段，却机器替他们硬铺了出来。
当时的数学界吵翻了，有数学系主任禁止他俩接近学校的研究生。
而知名数学家埃尔德什，他一生发了一千五百多篇论文，1991年说了句实在话：要是有不依赖计算机的证明我会更高兴，但我愿意接受，谁叫我们别无选择呢。
0
评论 (0)