数学

菲尔兹奖得主MichaelFreedman新作揭开数学真相2026年04月20日13:28机器之心Pro当谈及数学时，我们近乎本能地认为，数学是一个严谨、精确、不容置疑的完美逻辑体系，但在菲尔兹奖得主迈克尔・弗里德曼（MichaelFreedman）眼中，人类真正创造和关心的数学，本质上是「柔软且可塑」的。

因此可以推测：数学的结构本质上是多项式的。

在最近的一次采访中，MichaelFreedman对此论文进行了介绍，探讨了人类数学直觉与机器逻辑之间的巨大鸿沟。

而未来的关键是：我们如何与AI一起，发展新的数学直觉。

他认为，人类数学数千年的演进，本质上是一部不断创造「宏」、构建抽象层级的压缩史。

它不是人类数学思想的完美副本，但它与「从一组公理出发进行每一种可能的逻辑推演」截然不同，后者会导致「混沌数学」。

我们使用Lean的数学库（mathlib，约50万行代码）作为「人类数学」的一个近似模型，对其结构进行了统计分析：一个定理如何调用其他引理、定义如何复合并相互嵌套。

我相信人类数学（在此将我们的智能体也视为「人类」的一部分）正是如此。

更具体来说，我们正在学习，寻找能够引导发现「有趣数学」（即人类数学）的简单组织原则将是富有成效的。