强调：数学远未被解决

数学并非一套等待被逐一解决的封闭难题。它是一个不断扩展的开放系统。人们常提到的著名问题，如 Millennium Prize Problems 和 Riemann Hypothesis，仅仅是少数几个头条例子。在数学的每个分支中都有数千个未解问题，每解决一个，就会催生新的猜想、新的问题，有时甚至开创全新的子领域。解决问题并不会缩小数学的范围。Gödel's incompleteness theorems 告诉我们，没有一个足够丰富以进行算术的一致形式系统能够捕捉所有数学真理。总会有它无法判定的陈述，这意味着扩展基础是一个可以永远进行下去的过程。人工智能现在在产生证明方面比几乎每一个人类数学家都更出色。它是一个工具，可以用来以前所未有的速度探索真正新的数学领域。将数学想象成一个宇宙。几个世纪以来，我们一直徒步穿越它。现在，我们正在学习如何建造虫洞。真正终结的只有自我中心的数学：即认为数学的意义在于让某个个体成为证明者的那种观念。