沃伦姆探讨P vs NP难题：从Ruliology视角看计算本质

Stephen Wolfram 发布新文章，尝试从“Ruliology”视角探讨著名的P vs NP问题及计算的本质困难。文章主张通过观察计算宇宙中的简单程序来理解复杂性。该讨论在Hacker News上引发了关于形式化验证的激烈辩论，焦点在于是否有人利用Lean 4和谱几何严格证明了该问题，这反映了前沿计算理论研究中直观探索与严谨数学证明之间日益激烈的碰撞。