一篇声称证明了比P≠NP更强结果的论文发表在Springer旗下期刊《Frontiers of Computer Science》上，引发争议。论文作者之一是该期刊的副主编。两位计算机科学家Ryan Williams和Eric Allender发现该论文证明存在严重缺陷，甚至与已知算法相矛盾。他们提交评论文章要求撤稿，但主编拒绝，只同意刊登修改后的评论。此事暴露出期刊同行评审流程的严重问题，引发学术界对期刊声誉的担忧，属于科技领域新闻。
阅读更多
Eshan Chattopadhyay 和 David Zuckerman 因其在 2016 年 STOC 和 2019 年 Annals of Math 上发表的论文“显式两源提取器和弹性函数”获得了 2025 年 Gödel 奖。该论文的核心成果是改进了一种构造 Ramsey 图的方法，其构造的 Ramsey 图大小达到了指数级别，远超之前的构造方法。这一突破不仅在去随机化领域具有重要意义，也为 Ramsey 理论提供了新的见解，引发了关于其在伪随机性和 Ramsey 理论中的双重价值的讨论。
阅读更多
一项令人震惊的研究成果颠覆了我们对算法模拟的认知。Ryan Williams 的最新研究表明，所有算法都可以在远小于其运行时间（内存）的空间内进行模拟，这比以往的最佳结果有了显著提升。这项突破性成果利用了 Cook 和 Mertz 提出的高效树评估算法，通过巧妙地将图灵机计算分割成片段并利用有限域编码，实现了近乎二次方的空间复杂度改进。虽然该方法并未保持时间复杂度，但这项成果对复杂性理论具有里程碑式的意义，并为未来的研究方向指明了道路，例如进一步缩小空间复杂度的界限，甚至可能最终分离 P 与 PSPACE 复杂度类。
阅读更多