怎么看 OpenAI 的 NS 数学证明被发现其实没遵循 Spanish program？

九月轰动一时的 Navier-Stokes 证明，现在被发现不是我们想的那样，那时候大家都以为它沿用了西班牙数学家的方法（“Spanish program”），但深入检查后发现两者只是表面相似，实际路径完全不同。 初始叙事，包括 OpenAI 自己都暗示证明沿着 Spanish program 推进，但一个月后，多组专家深入阅读论文 + Lean 代码后得出一致结论：这是另外一种方式，不遵循 Spanish program，甚至 OpenAI 自己都搞错了。OpenAI’s blockbuster Navier-Stokes proof isn’t what we thought it was

前往原平台核验详情 ↗