北京
你有没有在输入一个复杂问题后，看着量子计算机吐出的结果，心里闪过一丝疑惑：“这玩意儿会不会在糊弄我？” 这其实不是多疑，而是一个扎扎实实的科学难题。最近，一群研究人员在计算复杂性这个领域，为一种叫作“量子证明”的东西揭开了它力量的面纱。
我们得先回到一个更日常的困惑：普通人用电脑算一道很难的题，比如模拟整个星系的运行轨迹，谁有本事把每一步都重算一遍来验错？ 计算机科学家很早以前就想到了一种巧妙的办法，不用自己重算，而是和那个宣称得出结果的机器进行某种“问答游戏”——抛出精心设计的问题，根据答案判断它是不是在说谎。这套方法在经典计算里被称为交互式证明，它已经足够颠覆人的直觉了。
那量子证明又往前多走了半步：不但验证者和被验证者能用嘴皮子打架，这场架还可以在量子的背景下打。被验证的那个不再是老老实实吐一串0和1的经典计算过程，而是一个用量子位纠结出缠绕态的怪物。 研究人员关心的正是这种新场景下，那个负责检验的“裁判”到底能获得多大的威力——他能识破多少伪装？能信任的范围又扩张到了哪一步？
Quanta Magazine 的这篇报道点出了其中的微妙之处：量子证明并不是单纯让验证变快那么简单，而是有可能改变我们对于“什么算验证得通”这件事的理解。 在经典世界里，有一类计算结果极难直接判断对错，但通过交互式证明却可以确信无疑；而现在，量子元件介入后，这个能被验证的疆域似乎又往暗处推了一排围墙。对计算复杂性稍有感觉的人会意识到，这相当于重新绘制了“可高效验证的问题”那张地图的边界。
当然，所有这一切都还被困在一个看起来很抽象的框架内，并没有立刻让你手机上的计算器变得聪明绝顶。但就像几十年前没人想到图灵对停机问题的思考会变成今天操作系统的基石一样，讨论量子证明的力量，其实是在为未来我们如何与量子机器建立信任铺一段砖。 眼下最值得玩味的地方也许就在于：我们还没造出能打败所有经典计算机的量子大家伙，但已经在琢磨将来如何让它掏心掏肺证明自己没作弊了——这种未雨绸缪里，藏着科学最诚实的浪漫。
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
