AGI 的最终挑战（一）：AI for Math

文章预览

（阅读本文需要的先决专业知识：无） 如果有人问我在人类实现 通用人工智能 （AGI）之前还有什么最后需要攻克的难题，那我一定会毫不犹豫地回答： AI for Math 也就是“使用人工智能来进行 数学思考 ”。为什么这么说呢？简而言之， 对于智能系统，进行数学思考是 最困难 也是 最重要 的任务。 最困难，所以有极高的技术门槛；最重要，因为有巨大的应用价值。可见，即便从纯商业的角度来看，AI for Math 也是兵家必争之地，更不用说它可以被看作是人类纯粹的对于理性与智能的上下求索的一种最终形态（这一点我们之后会说明）。 （人话版：做 AI for Math 不仅可以让你成为亿万富翁还能让你做21世纪的爱因斯坦） 可是，为什么说 AI for Math 既最困难又最重要呢？之后我们会用几篇系列文章来细说，但现在我可以先用两个例子来 从侧面 简单说明 ………………………………