“DNA 计算机”听起来很容易让人想错。

脑子里会自动出现一台未来电脑:芯片换成 DNA,桌面还在,浏览器还在,只是机器突然变得很生物。

Nature 这周发表的 Scaffolded DNA Computer 不是这个故事。

它真正有意思的地方甚至不首先在 DNA。

而在一个更奇怪的问题:

能不能把计算设计成一件物理系统本来就想做的事?

普通计算机一直在阻止错误#

我们熟悉的计算机并不是静静待在那里就会得到答案。

晶体管需要供能,信号需要被维持,噪声和错误需要被压住。生命系统也类似:复制 DNA、合成蛋白质、保持细胞状态,都需要不断消耗能量,把系统维持在远离热力学平衡的位置。

换句话说,很多计算过程都在持续做一件事:

不让系统随便停下来。

因为如果完全放任物理系统趋向平衡,原本精心编码的中间状态通常就没了。

这篇 Nature 论文尝试把逻辑反过来。

研究团队没有拼命阻止系统走向平衡,而是先设计它的能量景观,让正确计算结果本身成为更受热力学偏好的状态。

然后允许系统自己往那里走。

像给答案挖一个更深的坑#

可以把它想成很多小球放在一片地形上。

传统做法更像不断推着球沿指定路线走,避免它掉进错误的坑。

这套分子计算的思路则是:

先把地形设计好。

让正确答案所在的位置更低、更稳定。

球释放以后,不需要每一步都有人告诉它往左还是往右;系统在热运动和分子相互作用中不断变化,最后更容易落进那个更稳定的区域。

当然,真实的 DNA 分子系统比这个比喻复杂得多。

但论文的核心确实是 thermodynamically favoured computation:把目标计算结果编码进一个能够向更有利平衡态松弛的分子体系。

DNA 在这里既承载信息,也参与构造那片“地形”。

它真的算了什么#

研究团队在 Scaffolded DNA Computer 上演示了 10 个程序。

里面包括:

  • 乘以 3;
  • 除以 2;
  • 8-bit parity detection;
  • 25-bit 数字加法。

论文报告了超过 700 次计算,输入规模最高达到 50 bit,部分计算达到 100 bit 的计算规模。

小型实例可以在一分钟以内完成,一些程序还能换输入重复运行多次。

这些数字当然离通用计算机远得可怕。

一台普通电脑不会因为“会做 25 位加法”得到 Nature。

所以真正的新意根本不在算术题有多难。

难的是:这些算术被实现成了一个趋向热力学平衡时仍然偏爱正确输出的物理系统。

Nature:A thermodynamically favoured molecular computer

为什么“不需要一直纠错”很特别#

分子计算经常面对一个很麻烦的问题:分子会乱动,会发生非预期反应,浓度和温度很难像数字电路一样精确控制。

为了得到可靠结果,很多体系需要冗余、复杂的实验步骤、精细的时间控制,或者在错误反应积累之前赶紧停止实验。

这项工作报告的 SDC 在其实验体系中不依赖显式冗余纠错,也不需要非常精细的 kinetic control。

原因不是分子突然变听话了。

而是研究者努力让正确状态在热力学上本来就更有优势。

这是一个很漂亮的变化:

可靠性不完全来自不停阻止错误,也可以部分来自“让正确答案更稳定”。

这不是免费计算#

到这里很容易滑向另一个夸张结论:

既然系统自己往答案走,是不是计算几乎不要能量?

不是。

首先,那片有利于正确答案的能量景观需要被设计和构造。DNA 分子需要合成,体系需要准备,结果需要读取,整个实验仍然发生在真实物理设备里。

其次,达到平衡也需要时间。

论文展示的是一种计算架构和物理实现原则,而不是发现了某种“免费算力”。

更不能把它直接换算成:

以后数据中心不用 GPU,养一管 DNA 就好了。

这不是研究证明的事情。

它更像在改变“什么叫计算”#

真正让我觉得有意思的,是这项工作把“算法”和“物理”之间那条我们习惯的线弄模糊了一点。

在普通软件里,我们很容易把算法当成抽象步骤:

输入进来。

执行指令。

输出答案。

物理硬件只是负责忠实执行。

但在 Scaffolded DNA Computer 里,物理系统自身的趋稳性质就是算法的一部分。

不是在物理世界上运行计算,而是把物理世界本身设计成计算。

这其实也不是第一次出现。

模拟退火、Ising machine、某些优化系统,都在不同程度上利用“系统倾向于走向更低能量状态”这类思想。

但把它做进可编程、可重复使用的 DNA 分子体系,并演示多种算术与逻辑程序,让这个想法变得非常具体。

CPU 还可以安心睡觉#

所以,DNA 会不会取代 CPU?

至少从这项工作里,看不出这种结论。

数字计算机在速度、规模、通用性、编程生态和可靠工程上拥有巨大的优势。

SDC 现在更像是在证明另一件事:

计算并不只有“高速时钟驱动晶体管”这一种物理形态。

某些问题也许可以被编码进材料、分子和能量关系里,让世界自己的物理规律承担一部分搜索和纠错。

这也是为什么我更愿意记住这篇论文里的另一句话,而不是“DNA 计算机”。

它真正展示的是:

有时候,答案可以不是被机器一步一步推出来的。

我们也可以先造一片地形。

然后让答案自己滚到最低处。


延伸阅读:

Nature:A thermodynamically favoured molecular computer

Nature Research Briefing:Molecular computation that rolls energetically downhill

Mira × Tomz Dang