新 闻科教                                             

AI平权时代:顶尖数学家,不过是纺织女工
解答题价值观2026-09-19  

声明: 本消息或因风格和篇幅原因进行过编辑,但未经核实,也不代表我们的立场、观点或建议。如有侵权,联系秒删。[ 使用条款 ]
赞助信息

2016年3月,不到19岁的柯洁在微博上写下了一句话:阿法狗,就算你战胜李世石也赢不了我。

后面的事,大家也知道了。

2017年5月柯洁迎战升级版的AlphaGo Master被3:0完胜,也击碎了他的道心,在网络抽象和金铲铲的道路上一发不可拾。

但是不可否认的是,柯洁还是那个拥有神之一手的围棋天才。

不管是以前还是现在,很多人都觉得,AI是做不了创造性的工作。

因为以前计算机确实只是用于辅助人类的工作,而AI逐渐在瓦解这个刻板印象。

在1976年,两位数学家阿佩尔和哈肯想解一道百年未解之题目:给地图上色,相邻的两块不能同色,四种颜色到底够不够?这题在当年称之为:四色猜想。

点击图片看原样大小图片





这题从1852年被提出一直到1976年,这一百多年来一直没人可以证明出来。

当阿佩尔和哈肯想觉得枚举计算量极大,就通过计算机来辅助,当时的计算机用了一千二百个小时、枚举一百亿种情形,真的把四色猜想给证明了。

而这个证明是人的脑子想不出的那一段,却机器替他们硬铺了出来。

当时的数学界吵翻了,有数学系主任禁止他俩接近学校的研究生。

而知名数学家埃尔德什,他一生发了一千五百多篇论文,1991年说了句实在话:要是有不依赖计算机的证明我会更高兴,但我愿意接受,谁叫我们别无选择呢。

您的观点至关重要

点击朱笔,直抒胸臆

By Google

    © 2026    八阕之地™ by Towards Digital Group关于我们反馈意见业务合作八阕书局隐私政策使用条款  
AI平权时代:顶尖数学家,不过是纺织女工