ДНК-комп’ютер навчився «скочуватися» до правильної відповіді: у Nature показали обчислення до 100 біт

Комп’ютер зазвичай працює тому, що ми безперервно витрачаємо енергію, аби тримати електричні стани під контролем і не дати помилкам зруйнувати обчислення. Команда дослідників запропонувала майже протилежну ідею: побудувати молекулярну систему так, щоб правильна відповідь була її природним, енергетично вигідним станом. У Nature 16 вересня опубліковано експеримент із Scaffolded DNA Computer — ДНК-комп’ютером, який «скочується» до результату в процесі наближення до термодинамічної рівноваги.

Обчислення як пошук енергетично найвигіднішої конфігурації

У SDC є довгий ДНК-scaffold із послідовністю позицій і набір compute tiles. Кожен tile може зв’язуватися з певним місцем scaffold і взаємодіяти із сусідніми tiles. Якщо сусідні елементи несумісні з правилами програми, така конфігурація має енергетичний штраф і з часом поступається правильнішій. Цільова конфігурація спеціально спроєктована так, щоб бути термодинамічно найвигіднішою.

Це важлива відмінність від багатьох попередніх молекулярних схем, де інженерам доводиться дуже точно керувати послідовністю реакцій, температурами, часом зупинки або додатковими механізмами корекції. Тут частину роботи бере на себе сама фізика: неправильні зв’язки можуть замінюватися, а система має тенденцію переходити до стану, який кодує відповідь.

Десять програм і обчислення до 100 біт

Дослідники продемонстрували десять програм, серед яких множення на 3, ділення на 2, визначення парності 8-бітного значення та додавання 25-бітних чисел. Останній приклад автори описують як 100-бітне обчислення. Загалом робота охопила понад 700 експериментальних обчислень, а деякі програми повторно використовували з різними входами десятки разів.

Для невеликих екземплярів експеримент доходив до результату менш ніж за хвилину. Масштабування до довших scaffold вимагало повільніших temperature anneals, тому говорити про універсальний «хвилинний ДНК-процесор» було б неправильно. Проте сам факт, що одна архітектура може бути перепрограмована і повторно запущена, робить роботу цікавішою за одноразову демонстрацію логічного вентиля.

Чому «рівноважний» комп’ютер не означає безкоштовну енергію

Фраза thermodynamically favoured легко провокує хибний висновок, ніби система обчислює без енергетичної ціни. Це не так. Підготовка молекул, синтез ДНК, температурні цикли, вимірювання флуоресценції та лабораторне обладнання потребують ресурсів. Ідея інша: правильний стан не треба постійно підтримувати складною послідовністю активних коригувальних реакцій — він закладений в енергетичний ландшафт системи.

У цифровій електроніці ми боремося з шумом і помилками за допомогою великих запасів по напрузі, синхронізації та redundancy. У молекулярному світі дослідники намагаються спроєктувати такі правила зв’язування, щоб помилкові конфігурації самі були менш стабільними. Це не скасовує фізичні обмеження, але змінює спосіб, у який ми думаємо про коректність обчислення.

Навіщо потрібні комп’ютери з ДНК

SDC не конкурує з CPU чи GPU за запуск браузера, LLM або ігор. Сильна сторона молекулярних обчислень — потенційна робота там, де самі дані й середовище теж молекулярні: біосенсори, лабораторна діагностика, програмовані хімічні системи, контроль реакцій на наномасштабі. У таких задачах «процесор», що складається з молекул, може взаємодіяти з входом без перетворення всього світу на електричні сигнали.

Автори обережно говорять і про майбутнє: масштабування лишається складним, реальна кінетика довгих систем має неідеальності, а робота поки залишається лабораторною демонстрацією. Але вона показує фізично реалізований маршрут до обчислення, де результат є не штучно втримуваним станом, а природним «дном» спроєктованого енергетичного ландшафту. Саме це робить експеримент одним із найбільш незвичних комп’ютерних результатів тижня.

Як молекули «переписують» неправильну відповідь

Ключова механіка системи — не одноразове приклеювання плиток, а можливість поступового заміщення невигідних конфігурацій. Елементи взаємодіють через спроєктовані ДНК-домени: локально неправильні сусідства слабші, тому з часом їх можуть витіснити комбінації, що краще відповідають правилам програми. Обчислення таким чином схоже не на послідовність тактів процесора, а на фізичний процес, у якому величезна кількість молекул паралельно шукає нижчий енергетичний стан.

Автори перевірили систему більш ніж у 700 експериментальних обчисленнях і показали десять різних програм — від простих арифметичних перетворень до 8-бітної перевірки парності та додавання 25-бітних чисел. Найбільший продемонстрований ланцюжок відповідав приблизно 100 бітам обчислення. При цьому той самий scaffold можна було повторно використовувати багато разів, змінюючи вхід.

100 біт — це не «ДНК-процесор на 100 біт»

Тут легко зробити гучний, але неправильний висновок. Робота не означає появу універсального молекулярного CPU, який конкурує з кремнієвим процесором. Йдеться про спеціалізовану модель обчислень, де конкретна програма кодується набором молекулярних взаємодій. Маленькі задачі могли сходитися менш ніж за хвилину, але зі збільшенням масштабу час зростає, а реальні молекули поводяться менш ідеально, ніж математична модель. Цінність результату — у демонстрації іншого принципу надійності: помилки можна пригнічувати самою термодинамікою системи, а не лише додатковими шарами контролю.

↗