{"id":"mb-20260919-a1240d","kind":"deep","title":"量子计算机解出48年前奥数题：从只会抛硬币的物理算盘到离散符号推理","summary":"浙大与清华团队利用121比特超导量子芯片，首次在物理硬件上完成了几何定理的自动化机器证明。本文拆解量子计算长期受制于物理噪声无法执行严格离散逻辑的底层死结，详解吴方法多项式消元在量子叠加态下的伪除运算，以及量子经典杂交搜索如何突破退相干瓶颈，推动量子硬件从概率抽样跨向符号智能。","body":"外媒这几天都在传一个惊悚的科技头条：量子计算机刚刚解决了一道困扰人类 48 年的数学难题。\n很多人以为，又有一道类似哥德巴赫猜想的人类世纪谜题被攻破了。\n点开论文一看，内行全乐了。\n所谓 48 年前的难题，居然是 1978 年国际数学奥林匹克竞赛的一道中学生几何题。\n有没有搞错？\n拿造价上亿的超导量子计算机，去算一道高一学生在考场上能做出来的几何题？\n真要比算题速度，随便一台二十年前的老爷台式机，都能在几毫秒内把它秒杀。\n顶尖高校的物理学家大费周折，难道只是为了联手搞一次科研公关？\n把这篇论文翻到底，事实恰恰相反。\n这道奥数题压根不为炫耀算力。\n它是物理学家拉出来的一面照妖镜。\n它照出来的，是量子计算机问世几十年以来，一直绕着走的一道致命死穴：离散符号逻辑。\n\n过去十几年，量子计算为什么总在各种新闻通稿里显得无所不能？\n无论是谷歌在 2019 年用 53 比特的悬铃木芯片宣称实现量子霸权，还是各种前沿实验室的量子模拟，它们跑的都是同一类任务。\n物理模拟与概率抽样。\n让量子比特在微波脉冲的激发下纠缠演化，最后去反复测量成千上万次输出的概率分布。\n在这种物理任务里，量子比特处于连续的波动状态。\n环境噪声造成一个比特轻微翻转，或者相位发生微小漂移，并不会导致任务失败。\n它无非让最终统计出来的概率图谱上，多了一星半点无关紧要的杂音。\n但数学定理的证明，是完全不同的另一个世界。\n逻辑演绎是离散的、确定的、步步咬合的。\n前提推出第一步，第一步推出第二步。\n整条推演链条容不下任何物理噪声。\n哪怕错了一个正负号，漏掉了一个变量，整座逻辑大厦瞬间彻底瓦解。\n这就是量子芯片最尴尬的短板：它能靠波函数叠加在概率空间里飞速穿梭，却从来不知道该怎么像人类一样，做步步为营的严格推理。\n\n浙江大学和清华大学的联合团队，这次正是挑了这根最硬的骨头来啃。\n他们把战场选在了一台 121 位的可编程超导量子芯片上。\n要让连续波动的量子比特学会解几何题，第一步就要把图形转化成机器能懂的代数语言。\n他们搬出了中国数学家吴文俊在 1977 年发明的著名工具：吴方法。\n在传统几何学里，证明题目往往依赖人类的直觉去添辅助线，机器根本学不会。\n吴文俊的天才解法，是把垂直、平行、共圆等所有几何约束，统统翻译成一组高维多元多项式方程组。\n几何定理的证明，直接转化成了代数多项式的消元运算。\n用前一个方程去除后一个方程，只要最后余式算出来等于零，定理在逻辑上就宣告成立。\n这套吴方法在普通电脑上早就跑通了几十年。\n但它有一个致命的物理瓶颈：多项式在消元过程中，方程项数会发生指数级爆炸。\n一旦几何图形变复杂，变量一多，经典电脑的内存和处理器就会被瞬间撑爆。\n\n普通电脑害怕的项数爆炸，却正好撞上了量子计算的拿手好戏。\n量子芯片最强大的本领，就是量子叠加态。\n研究团队把那些复杂的多元多项式，直接编码进了 121 颗超导量子比特的物理叠加态中。\n一个量子态，可以同时装载成百上千个多项式系数。\n他们在芯片上设计了专门的量子线路，执行一种叫作量子伪除法的操作。\n微波脉冲在微米级的超导线路中穿行，省去了单项排队的漫长等待，直接在高维希尔伯特空间里，一瞬间对所有多项式项完成代数折叠。\n\n紧接着就是第二道工程难关：量子退相干。\n超导量子比特太脆弱了，人工维持的相干状态往往只有几十微秒。\n如果让芯片一口气算完整道证明题，积累的物理热噪声早就把逻辑链条冲垮了。\n研究人员做了一个极其务实的系统设计：量子与经典的混合接力。\n他们用几何学里的全角法作为向导，把整个证明拆成一个个局部的推理节点。\n量子芯片负责在每一个推理节点上，并行评估下一步的符号搜索路径。\n一旦算出当前步的结果，外部的经典电子学系统立刻进行精确测量，接住数据。\n经典系统把噪声滤掉，校验正确性，再把清洗后的逻辑状态重新制备成微波信号，送回量子芯片进行下一轮推演。\n步步校准，步步推进。\n这台 121 比特的量子处理器，就这样一步一步推导出了正方形对角线互相垂直，随后拿下了那道 1978 年的奥数几何题。\n\n这项研究说明量子计算机可以取代数学家了吗？\n差得太远了。\n研究人员在论文预印本里写得非常客观。\n这次实验处理的多项式规模极其有限，符号关系也被大幅精简，每一步推演都离不开外部经典电脑的重置与搀扶。\n真要论解决实际问题的能力，它现在甚至做不了一份普通的高中随堂测验。\n但科学史上的关键转折，往往都以这种极其稚嫩的面貌登场。\n莱特兄弟当年的飞行者一号在沙滩上只离地飞了 36 米，滞空 12 秒，甚至没有一个成年人跑得快。\n围观的人大可以嘲笑它连一辆马车都跑不过。\n但那 36 米证明了重于空气的机械能够获得升力。\n这次 121 比特超导芯片的奥数题推演也是一样。\n它的价值根本不在于解题速度能不能跑赢家用电脑。\n它让所有人第一次在真实的物理硬件上看到：\n那些充满噪声、随几率波动的超导电流，不仅能用来模拟大自然的混沌碰撞，也完全可以被驯服成严谨求证的几何刻度。\n量子计算机从一台只会抛硬币的物理算盘，终于开始学着像一个真正的理性大脑那样，踏踏实实地思考逻辑了。","topic":"量子计算机解出48年前奥数题：从只会抛硬币的物理算盘到离散符号推理","frame_type":["量子叠加态多项式消元与杂交符号搜索（Quantu","机制"],"citations":[],"channel_note":"","identity_notice":"","source_type":"generated","status":"published","generated_at":"2026-09-19 21:29:24","legal_anchor_count":0,"transcript_citation_count":0}