Terence Tao：AI 如何重塑数学未来
Terence Tao: Math 2.0 [pdf]
Terence Tao 指出，AI 正在将数学从证明稀缺的 Math 1.0 时代推向证明丰富的 Math 2.0 时代。虽然 AI 能快速解决大量难题，但盲目追求解题可能损害数学的长期健康。真正的未来在于利用 AI 拓展研究边界，而非单纯替代人类解题。我们需要更透明的评估机制，并转向实验性数学，通过大规模数据探索新的数学景观。Math 2.0 的核心不是技术，而是想象力，旨在让人类理解与 AI 能力更好地协同。
实现 Math 2.0 的主要瓶颈并非技术，甚至不是制度文化，而是想象力。