DNA计算机来了，登上Nature！

与生命体消耗能量以抵抗热力学"热寂"类似，当前计算机通常运行在远离平衡态的状态，需要持续耗费能量来维持逻辑正确性。然而，现代计算的实际能耗与理论最低需求之间存在巨大差距，这为重新思考计算机的底层设计留下了广阔空间。一个看似反直觉的思路是：设计一种可编程的物理系统，使其平衡态本身就编码了算法的输出结果，让计算机只需自然地"漂流"到正确答案，而不必借助外部能量的强制干预。此前，DNA分子编程领域已展示了诸多出色的非平衡系统——分层自组装程序、模式识别器、细胞培养中的计时器、模拟动态系统、布尔电路乃至微型机器人——但这些系统也带来了一系列挑战：算法自组装中的非预期成核、链置换系统中的泄漏或错误、繁琐的人工制备流程，以及对实验条件的高度敏感。如何构建一种计算表达力强、可编程、初始态易于制备、且能量景观可控以保证高概率快速到达目标输出的物理实现，成为这一领域亟待突破的瓶颈。

与我们所知的生命系统不同，理论表明冗余性可以被嵌入到一个向热力学优选平衡态弛豫的系统之中。机器学习和搜索算法早已利用了这一思想，尽管它们运行在非平衡架构上并付出巨大的能量代价。爱尔兰梅努斯大学Tristan Stérin博士、Abeer Eshra教授、Constantine Glen Evans教授、和Damien Woods教授等人，在10个程序上演示了一种热力学优选的"支架式DNA计算机"（Scaffolded DNA Computer, SDC），包括"乘3"、"除2"、8位奇偶校验以及25位数字加法——一次相当于100比特的计算。SDC算法的实验方案十分简单，可重复使用数十次，其小型实例甚至能在一分钟内运行完成。数学、物理与计算机科学原理共同解释了SDC为何在热力学上是优选的、为何无需纠错或精确动力学控制、以及它为何能够被编程和扩展。这项工作为在各类合成系统中重新思考平衡态计算开辟了全新途径。相关论文以“ A thermodynamically favoured molecular computer”为题，发表在 Nature上。

该研究的核心概念可以通过一个直观的对比来理解。如图1所示，经典分子计算机拥有一个预期的目标态，但这个目标态本身远离平衡态，必须通过能量代价高昂的动力学控制过程来抑制错误——正如数字电子计算机经过数十年研究虽大幅降低了错误率，却付出了巨大的能耗代价。相比之下，热力学优选计算让输出态本身成为能量上最有利的状态，同时输入态易于制备，能量景观易于高效遍历；于是，计算过程不再需要外部干预，系统只需自然、自动地趋向平衡态，即完成了计算本身。

图1 | 经典计算与热力学优选计算的比较。

SDC的基本架构如图2所示：一条一维支架上设有N个独特的结合域（称为"支架位置"），大量带有若干编程位的"瓦片"（tiles）被混合到支架中。三个关键设计原则保证了计算的正确性：其一，瓦片浓度约为支架的10倍，确保每个支架位置都能获得一个瓦片；其二，相邻瓦片结合域之间的颜色不匹配（即算法错误）具有能量惩罚，会在后续的瓦片替换过程中自行纠正；其三，结合域亲和力较弱，既允许可逆结合以实现纠错，又可避免支架外的错误组装。从一个容易制备的初始状态出发，系统最终自然演化到焓最优的、所有颜色完全匹配的目标构型。该架构完全可重编程——只需从一个庞大的链库中选取不同链，即可实现不同程序；一个最简单的"位拷贝"程序就像一根4位长的导线，将输入原样拷贝到输出。

图2 | 支架式DNA计算机（SDC）设计原则。

任何有限状态机（FSM）——这是计算机程序的一个重要子类——都可以被编译为SDC程序（图3）。研究人员实现了一个N=4、每个瓦片带ℓ=3个编程位的SDC，可执行任意2态、8位输入的有限状态机，例如4位加法。实验方案出乎意料地简单：只需一次从80°C缓慢降至20°C、持续3小时的退火过程，支架浓度保持在100 nM，随后保温45分钟，即可获得高完成度。图3展示了"10+3=13"这一加法运算：支架上的八个位置映射为计算位置，目标构型是唯一一个零失配的构型，因而在能量上最为有利。其他加法如"7+1=8"、"12+3=15"以及"-1+1=0"也均成功完成，对照实验则简单地组装出理想目标构型，无信号损失。

图3 | 加法有限状态机（FSM）的编程与实现。

为验证SDC的可编程性，研究人员在N=4的支架上测试了另外九个程序（图4），包括8位奇偶校验、三进制除法、括号匹配以及三态非确定性有限自动机等。更令人惊喜的是计算速度：超快速退火方案——从80°C在一分钟内骤降至55°C——即可实现输出0和1的清晰分离，部分程序达到了实验室设备的速度极限。典型3小时退火下，加法程序的完成度平均达96.7%，所有程序的输出均可线性分离；而在超快速退火中，所有程序输出的平均分离度达到82.1%。

图4 | 多个SDC程序（支架大小N=4）及超快速退火。

SDC的另一个突出优势是计算的可再生性（图5）：与一次性使用的非平衡分子系统不同，只需加入少量替换链，即可将旧输入切换为新输入，重新退火后系统便快速达到新的目标平衡态。一个"位拷贝"程序被成功更新了25次，荧光输出信号几乎没有衰减；两个加法程序各被更新了9次。这意味着SDC程序可以像电子电路一样反复使用，而无需从头重新制备整个系统。研究人员还发现，SDC对浓度具有很强的鲁棒性，承袭了DNA折纸中计算链或订书链浓度远高于支架的美妙原理；甚至在一个实验完成1.5年后，仅加水恢复，仍能重复得到相同结果。

图5 | 可再生的SDC程序。

研究人员进一步将SDC扩展到25个位置的长支架（scaffold-624），实现了两个25位数字的加法——共计100比特的计算（图6）。通过"汇"（sink）和"非汇"（non-sink）逻辑设计，进位比特被汇吸收，从而在能量景观中截断了错误路径，提供了显式的纠错能力。此外，研究人员开发了等能量（isoenergetic）瓦片编程方法：让两个竞争瓦片具有相同的域但排列顺序不同，使得具有固定失配数的构型近似等能量，从而在长支架上获得平坦良好的能量景观。实验表明，25位加法在14小时内即可完成可靠计算。

图6 | SDC扩展至25个位置的能量景观编程。

研究人员系统展示了10个竞争复杂度递增的SDC程序，包括位拷贝、奇偶校验、乘3、三态非确定性自动机、三进制除法、计数器、元胞自动机Rule 110、图可达性判断和括号匹配等。总体而言，该研究在10个SDC程序上完成了超过700次计算，输入规模从50位二进制到100比特计算不等，甚至还处理了三进制字符串和图结构数据。

研究人员在讨论部分总结指出，SDC凭借设计本身实现了鲁棒、快速、可再生且可扩展的分子计算。与非平衡态分子计算机不同，SDC无需通过冗余进行显式纠错，也不需要计算链纯化、精确校准的温度保温、多步人工操作，甚至不需要在实验早期终止以避免泄漏。尽管仍有许多方面有待理解——例如设计新的可再生程序需要应对系统复杂性和非平衡态操作——但热力学优选原理本身似乎就提供了一种相当简单而有效的程序再生方法。展望未来，热力学计算原理有望赋予DNA存储系统更强的鲁棒性，甚至让DNA折纸获得算法计算能力，从而以可控方式驱动纳米结构自组装；相关理论工作为通过选择域能量、等温编程和分析方法进一步扩展SDC的规模指明了方向。这项工作表明，DNA系统完全可以自由地进行能量景观设计，使平衡态分子计算从理论走向实践。