AGI：机器数学家最终如何提供具有人类水平推理能力的人工智能

在纯数学中，偶尔会出现像晴天霹雳般的突破——这是推理和创造力如此受启发的壮举的结果，它们似乎突破了智力的极限。 例如，2016 年，数学家 蒂莫西·高尔斯 (Timothy Gowers) 对上限设置问题的解决方案感到惊叹，这与找到空间中没有三个点形成一条直线的最大点模式有关。 他写道，这个证明“具有一种神奇的品质，让人想知道到底有人是如何想到它的”。

您可能认为这样的壮举是人类独有的。 但你可能错了。 因为去年，人工智能公司 Google DeepMind 宣布，其人工智能发现了比人类更好的解决上限设置问题的方法。 这只是人工智能不断增长的数学能力的最新证明。 经过长期与这种复杂推理的斗争，今天的人工智能正在证明自己具有非凡的能力——解决复杂的几何问题，协助证明并为长期存在的问题提供新的攻击途径。

所有这些都促使数学家们思考他们的领域是否正在进入一个新时代。 但这也让一些计算机科学家更有勇气地表示，我们正在突破机器智能的界限，越来越接近能够真正像人类一样推理的人工智能——甚至可能是通用人工智能，即性能与人类一样好甚至更好的人工智能。广泛的任务。 “数学是推理的语言，”说 亚历克斯·戴维斯 在 DeepMind。 “如果模型能够……