聊数学的时候，总能碰到一些有意思的“滞后”情况，今天就来拆解两类典型的：

一、历经漫长岁月才补上严格定义的数学思想 #

有些数学概念和思想，早早就被数学家们直观地拿来用了，甚至在解决问题时发挥了大作用，但它们的严格数学定义，却隔了几十年甚至上百年才被正式确立。
比如咱们熟悉的微积分，牛顿和莱布尼茨早在17世纪就用它解决了大量物理和数学问题，但当时的微积分依赖“无穷小量”的模糊概念，直到19世纪柯西、魏尔斯特拉斯等人建立了严格的极限理论，才给微积分补上了坚实的逻辑基础。这类现象其实反映了数学发展中“先实践、后严谨”的路径——先靠直觉找到好用的工具，再慢慢打磨工具的理论根基。

二、“答案早被默认”却迟迟找不到证明的数学问题 #

还有一类更有意思的情况：某个数学问题的结论，大家早就默认它是对的，但要拿出严格的数学证明，却花了几十年甚至至今都没做到。当代最典型的几个例子就是：

• Yang-Mills存在性与质量间隙：从物理学的角度来看，这个结论早已被广泛认可，它是粒子物理标准模型的核心基础之一，但至今没人能给出完整的数学证明，它也是千禧年大奖难题之一。
• 黎曼假设：这个关于黎曼ζ函数零点分布的猜想，因为如果它不成立，整个数论领域的很多结论都会崩塌，而且大量的数值计算都支持它的正确性，所以几乎所有数论学家都默认它是对的，但严格的证明依然遥不可及。
• Schramm–Loewner演化（SLE）：这个描述随机曲线的数学理论，其核心结论最早是由物理学家通过统计物理的思想预见的，后来才由数学家给出严格的定义和证明，算是物理直觉先于数学严谨性的典型案例。

内容的提问来源于stack exchange，提问作者Yly