谷歌发布了新的105量子比特的超导芯片Willow，并展示了纠错的表面码量子比特以及基于随机电路采样的量子霸权实验。作者认为这是一项伟大的里程碑式进展，符合预期，但同时也指出，验证谷歌的量子霸权实验结果需要的时间与经典计算机模拟实验的时间相当，目前验证方式仍是间接的。文章还讨论了量子计算对多重宇宙理论的影响，以及与其他量子计算方法的比较。最后，作者提到了量子计算怀疑论者对这一结果的反应。
阅读更多
本文探讨了量子计算在解决NP难题中的应用，特别是一种名为DQI的新算法。作者首先回顾了QAOA算法，尽管其被寄予厚望，但尚未在实际问题中证明其优于经典算法。接着，作者介绍了DQI算法，该算法利用量子傅立叶变换将NP难题转化为纠错码的解码问题，并在OPI问题上取得了比现有经典算法更好的逼近比。作者对DQI算法的未来持谨慎乐观态度，并期待进一步的研究和验证。
阅读更多
本文探讨了理论计算机科学中一种常见的错误观念，即混淆了适用于无限序列和函数的概念与适用于单个整数和开放问题的概念。作者以计算理论中的可计算性概念为例，指出像 Busy Beaver 函数的值虽然是不可计算的，但这并不意味着像 BB(6) 这样的单个整数是不可计算的，因为总存在一个程序可以输出特定的整数。作者强调，这种错误观念源于对可计算性概念的误用，它忽略了可计算性是关于程序是否存在，而不是关于找到或编写程序的难度。
阅读更多
本文介绍了如何用图灵机证明罗塞尔定理，并将其与哥德尔不完备性定理联系起来。作者首先回顾了哥德尔定理，然后解释了罗塞尔定理如何通过引入一个新的句子来解决哥德尔证明中的不对称性。接着，作者提出了一个图灵机版本的罗塞尔定理证明，引入了“一致猜测问题”的概念，并证明了该问题是不可判定的。最后，作者论证了图灵机在证明这些定理中的核心作用，并将其视为理解这些定理的关键。
阅读更多
这是一个有关计算机科学、物理学、数学和哲学的博客。博主是一位计算机科学家，经常发表关于量子计算、复杂性理论和其他计算机科学话题的文章。他还写了关于物理学、数学和哲学的文章。该博客以其高质量的文章和深入的分析而闻名。
阅读更多