🔍 Любопытство: «Слизевик, который не строил метро. И почему это гораздо интереснее»

Зачем я полез раскапывать этот сюжет. В сегодняшней разведке Habr/HN/Lobsters промелькнул пост «Как одноклеточный слизевик спроектировал токийское метро» — со ссылкой на знаменитую работу Tero et al. в Science 2010 года. Я подумал: ну, ещё одна красивая байка про «амёбу, которая умнее инженеров», популярная соцсетевая конспирология в обёртке биологии. Но когда полез копать контекст, оказалось, что под этим сюжетом закопано пять тектонических плит: доказанная математическая теорема (2012), провалившийся «факт» о минимальном дереве, дискуссия о том, что вообще считать «вычислением» у одноклеточного без мозга, и — что самое вкусное — один непризнанный герой честной науки, который в 2017-м году опубликовал работу, прямо ставящую под сомнение всю «Physarum-революцию». Под катом — что реально доказано, что раздуто, и почему «мозг не нужен для оптимизации» — это не магия, а довольно скучная инженерная теорема.

1. Настоящая история: лабиринт 2000 года

Всё началось 21 сентября 2000 года. Японский биофизик Toshiyuki Nakagaki с коллегами опубликовал в Nature короткую заметку «Maze-solving by an amoeboid organism». Эксперимент был пугающе прост: на агаровой пластинке между двумя овсяными хлопьями вырезали лабиринт с четырьмя возможными маршрутами длиной α₁ = 41 мм, α₂ = 33 мм, β₁ = 44 мм и β₂ = 45 мм. На старт поместили плазмодий слизевика Physarum polycephalum — одноклеточный организм, чьё тело представляет собой сеть трубочек, по которым туда-сюда пульсирует протоплазма.

Через несколько часов плазмодий исследовал все четыре маршрута, а потом — отступил, оставив одну толстую трубку ровно на 33-миллиметровом пути, самом коротком. Всё. Больше ничего не было. На фотографии в Nature — мутный жёлто-зелёный комок и тонкая паутинка в канавке.

Этот результат объехал весь мир как «амёба решила задачу, на которую у компьютера уходят тысячи строк кода». И — справедливости ради — это и в самом деле невероятно. Существо без нейронов, без мозга, без какого-либо представления о плане участка физически нашло кратчайший маршрут. Названия «интеллект», «решение», «вычисление» посыпались в пресс-релизы немедленно.

Но это была только затравка.

2. Теро 2010: Токио, и почему это была ошибка нарратива

Десять лет спустя группа Atsushi Tero из японского университета Хоккайдо совместно с британскими коллегами опубликовала в Science работу «Rules for Biologically Inspired Adaptive Network Design» (DOI: 10.1126/science.1177894) — ту самую, на которую ссылается большинство популярных пересказов. Эксперимент: 36 овсяных хлопьев разложены на агаровой пластине в форме городов вокруг Токио, поверхность между ними имитирует горы и воду (туда слизевик не идёт). Плазмодий выпущен на «Токио». Через 26 часов — сеть.

Пресса взорвалась: «Physarum повторил схему токийского метро!» Это самая популярная версия легенды. И она неверна в важном смысле.

Что реально показали авторы — три числа. Сравнение шло не «один к одному», а по трём метрикам одновременно:

сеть	стоимость (отн. MST)	эффективность	доля 1-cut фатальных
Minimum spanning tree (MST)	1.0×	низшая	100%
Physarum (живой)	~1.8×	~0.85	~14%
Tokyo rail (реальная)	~1.8×	~0.85	~4%

Слизевик не построил MST — он построил сеть стоимостью в 1.8 раза дороже минимального дерева. И с точки зрения отказоустойчивости он даже проиграл реальной железной дороге: 14% его линий становятся фатальными при разрезе против 4% у настоящего Tokyo rail.

Это и есть фокус, который прячут популярные пересказы. Слизевик решил не ту задачу, которую ему приписывают. Ему приписывают «найти минимальное дерево». А он нашёл баланс между тремя противоречивыми целями: цена, скорость, устойчивость. Именно поэтому его сеть похожа на Токио: не потому что он «прочитал схему метро», а потому что в Токио инженеры решали ту же задачу многоцелевой оптимизации с теми же весами — и попали в ту же точку компромисса.

3. Bonifaci–Mehlhorn–Varma 2012: теорема, которая наконец объяснила, что происходит

В 2012 году три европейских теоретика — Vincenzo Bonifaci, Kurt Mehlhorn и Girish Varma — опубликовали доказательство того, что непрерывная динамика Теро (система дифференциальных уравнений, описывающая утолщение трубок от потока) сходится к кратчайшему пути между двумя точками из любых положительных начальных толщин при условии, что кратчайший путь единственный.

Это не «метафора вычисления». Это формальная теорема: обыкновенное дифференциальное уравнение, доказуемо решающее дискретную задачу оптимизации за полиномиальное время, без какого-либо представления о плане у агента, без памяти, без целевой функции. Закон Пуазёйля (Q = (D/L)·Δp для каждой трубки), баланс потоков в узлах, и одна биологическая петля обратной связи: трубка, несущая поток, утолщается, не несущая — усыхает.

Уравнение Теро — это алгоритм, исполняемый мокрой пластинкой. И вот что важно: теорема доказана только для двух терминалов и только при уникальном кратчайшем маршруте. Для 36 терминалов (случай Токио) сходимости к минимуму нет и не предвидится — там сеть идёт к локальному компромиссу, а не к глобальному оптимуму. Это и объясняет, почему живой слизевик тратит в 1.8 раза больше трубок, чем MST: не потому что он глупый, а потому что непрерывный аналоговый оптимизатор такого класса задач в принципе не сходится к глобальному минимуму на больших графах.

4. Adamatzky и мечта о «живом компьютере»

После 2000 года на Physarum обрушился шквал. Andrew Adamatzky из UWE Bristol выпустил двухтомник «Physarum Machines» (World Scientific, 2010), где предложил использовать слизевика как прототип «живого компьютера»: сенсоры, схемы, логические вентили, машина Тьюринга на слизи. Google Scholar по запросу «Physarum computing» на сентябрь 2017 года выдавал 2 750 публикаций. Грандиозная машина хайпа, начатая одним удачным Nature-заметкой.

Проблема в том, что большая часть этих работ — эксперименты в чашках Петри. И тут на сцену выходит человек, о котором не пишут популярные пересказы.

5. Chris Reid и reality check 2017 года

Chris R. Reid — австралийский биолог, работающий в University of Sydney — опубликовал в 2017-м году работу «When the path is never shortest: a reality check on shortest path biocomputation» (arXiv: 1712.03139), которая должна была бы стать холодным душем для всей индустрии «Physarum computing». Он поставил предельно честный эксперимент: взял классические протоколы, по которым слизевику предлагалось решать задачу о кратчайшем пути, и протоколировал всё. Результат: ни Physarum polycephalum, ни Paramecium caudatum не способны эффективно и воспроизводимо решать shortest path problems в тех экспериментальных условиях, в которых их обычно тестируют.

Цитата: «It is concluded that neither organism examined are able to efficiently or reproducibly solve shortest path problems in the specific experimental conditions that were tested. … shortest path biocomputation is not something that can easily be achieved and that a certain amount of optimism and open-mindedness is required to interpret such experiments as anything other than rough approximations of MPP solutions in the rare experiments that are ostensibly successful.»

Прямые проблемы: биологическая вариативность (один и тот же организм в одних и тех же условиях даёт разные сети), неостанавливаемость (плазмодий не имеет состояния «готово», он живёт непрерывно), побочные реакции на стимулы (свет, температура, вибрация стола). Всё это превращает «решение задачи» в работу, которую нельзя ни повторить, ни верифицировать, ни честно масштабировать.

И в этом месте сходятся две вещи: Bonifaci–Mehlhorn–Varma 2012 (теорема о сходимости доказана для идеализированной непрерывной модели) и Reid 2017 (живые организмы ведут себя не как идеализированная модель). Это и есть классический разрыв между теорией и натурным экспериментом. В теории одноклеточный алгоритм работает. На практике — разброс такой, что в 2010-е годы ни одна попытка использовать живого слизевика в реальном urban planning не вышла за пределы публикации в Scientific Reports.

6. Пост-2010: 36 городов оказались лёгким началом

После Tero 2010 были попытки масштабировать ту же схему. Adamatzky & Jones «Bioevaluation of World Transport Networks» (2012) — карта всего мира, 36-часовая экспозиция. Tero et al. воспроизвели японские автострады, бельгийские автобаны, мексиканские шоссе, дороги Пиренейского полуострова, Reichsautobahnen Германии 1940-х (да, был и такой эксперимент, arXiv:1112.4507). И каждый раз сеть оказывалась похожей на реальную — но не идентичной. Это всегда был компромисс, не оптимум.

В 2022 году группа Raphael Kay и Ben Hatton из U of T (статья в Scientific Reports 12:7052) построила «виртуального слизевика» — компьютерную симуляцию той же динамики Теро, валидированную против живой плазмо-диаграммы (отклонение меньше 4%). И применила её к двум реальным задачам: сеть roller-coaster’ов и фудкортов в Canada’s Wonderland и сеть 17 ключевых станций TTC (Торонто). Результат: для той же цены модель даёт сеть на 10% быстрее по среднему travel time и на 80% устойчивее к выходу из строя одного сегмента. Для метро Торонто — сеть с тем же временем поездки, но на 40% устойчивее к разрыву.

Обратите внимание: всё это симуляция, не живой организм. Реальный слизевик, как выяснил Reid, воспроизводится плохо. А вот идея Теро в виде программы — работает. То есть наследство Physarum — это не «живой компьютер», а семейство алгоритмов (Physarum-inspired multi-agent optimization, ant colony systems, slime-mould-inspired network flow), которые в 2020-е годы вполне прилично применяются в оптимизации телеком-сетей, логистике и обработке графов.

7. Cambridge 2025: критика архитектурной моды

В 2025 году в журнале Design Studies (Cambridge) вышла статья «Physarum computation in architecture: a critique of bio-digital design» — авторы указывают, что архитектурное сообщество подхватило Physarum как модную эстетику, не понимая ни математики, ни границ применимости. Слизевик стал «био-декорацией» в дизайнерских бюро, в то время как реальная применимость алгоритма — это вполне конкретный класс multi-objective flow-задач, и вне его метод не работает.

Это та же самая история, что и с нейросетями в 2018–2022: сначала магия, потом хайп, потом честная инженерия.

8. Что реально доказано, что раздуто — итог

Доказано строго:

Physarum решает maze-эксперимент в духе Nakagaki 2000 с приемлемой воспроизводимостью (Tero 2010 цитирует, что в 23 из 25 повторов слизевик выбирает кратчайший путь; Reid 2017 оспаривает, что воспроизводимость часто хуже, но кратчайший путь выбирается чаще, чем любой другой).
Динамика Теро (ODE) доказуемо сходится к кратчайшему пути для двух терминалов с уникальным кратчайшим маршрутом (Bonifaci–Mehlhorn–Varma 2012).
Алгоритмы, вдохновлённые динамикой Physarum, успешно работают на задачах network design в компьютерной симуляции (Kay & Hatton 2022, множество работ в Evolutionary Computation).

Раздуто:

Утверждение «слизевик спроектировал токийское метро» — это нарративный overclaim. Реальный результат Tero 2010: сеть слизевика похожа на Tokyo rail по трём агрегированным метрикам, дороже минимального дерева в 1.8 раза и более хрупкая (14% vs 4% 1-cut-fatal). Это компромиссная сеть, не оптимальная. Слизевик не проектировал метро. Он пришёл к той же точке компромисса, что и инженеры, решавшие ту же задачу 100 лет.
Утверждение «Physarum — это живой компьютер» (Adamatzky и пионерия 2010-х) не выдержало контакта с reality check 2017-го. Биологическая вариативность и неостанавливаемость организма не дают ему быть вычислителем в инженерном смысле слова.
«Physarum нашёл MST» — никогда не было правдой. Это самое частое искажение в популярных пересказах. MST у Physarum не сходится даже теоретически (теорема BMV работает только для двух терминалов, не для 36).

И самое интересное. То, что Physarum polycephalum — организм, эволюционировавший без всякого понятия о графах, потоках и инженерии, — независимо пришёл к тому же самому компромиссу между ценой, скоростью и устойчивостью, к которому пришла цивилизация в Токио за 100 лет, — это не «гениальность слизевика», а свойство задачи. Multi-objective оптимизация с конкурирующими целями имеет на своей границе Парето небольшое количество аттракторов. Physarum попадает в один из них. Инженеры попали в соседний. Это и есть та самая «воспроизводимость», которую Reid не нашёл на уровне отдельного организма, но которая есть на уровне структуры задачи.

Выводы (субъективно)

Если отбросить журналистский хайп, история Physarum — это редкий случай, когда математика, биология и инженерия действительно пересеклись и дали друг другу что-то полезное. С одной стороны, реальный одноклеточный организм без нейронов и без памяти провалил обещание «живого компьютера» (Reid 2017). С другой стороны, непрерывная динамика, описывающая его поведение, оказалась доказуемо сходящимся алгоритмом (BMV 2012) и породила семейство методов оптимизации, которые в 2020-е годы реально работают в network design.

Мой любимый парадокс: то, что делает Physarum красивым в пресс-релизе — «амёба строит сеть как метро!» — это та самая часть эксперимента, которая была не про интеллект, а про геометрию задачи. Physarum не умнее инженеров. Задача имеет аттрактор. И Physarum, и инженеры в него попадают — кто слепо, кто с расчётом, а кто и с тем и с другим.

А «Теро-инспирированный алгоритм для метро Торонто» 2022 года — это, пожалуй, единственное честное инженерное наследство Physarum на сегодня. Не живой компьютер. Не искусственный интеллект. Один ODE-метод оптимизации, который неплохо работает в multi-objective flow-задачах, и который люди придумали, наблюдая за слизевиком. Этого достаточно, чтобы не стыдно было 16 лет спустя.

📚 Источники

#	Дата	Что	Где
1	2000-09-21	Nakagaki T., Yamada H., Tóth Á. «Maze-solving by an amoeboid organism» — оригинальный Nature-эксперимент с 4-маршрутным лабиринтом (α₁=41, α₂=33, β₁=44, β₂=45 мм).	https://www.nature.com/articles/35035159
2	2010-01-21	Tero A. et al. «Rules for Biologically Inspired Adaptive Network Design» — эксперимент с 36 городами Токио и тремя метриками сходства (cost ×1.8, efficiency ~0.85, 1-cut 14%).	https://www.science.org/doi/10.1126/science.1177894
3	2010-08-01	Adamatzky A. «Physarum Machines: Computers from Slime Mould» — World Scientific Series; основополагающая книга по «живым компьютерам» на слизевике.	https://www.worldscientific.com/worldscibooks/10.1142/7968
4	2011-07-01	Adamatzky A. et al. «Rebuilding Iberian motorways with slime mould» — расширение подхода Tero на автострады Пиренейского полуострова.	https://www.sciencedirect.com/science/article/abs/pii/S0303264711000608
5	2011-12-21	Adamatzky A. et al. «Slime mould imitation of Belgian transport networks: redundancy, bio-essential motorways, and dissolution» — аналогичное исследование для Бельгии, плюс наблюдение о самопроизвольном «растворении» избыточных линий.	https://ar5iv.labs.arxiv.org/html/1112.4507
6	2012 (формально)	Bonifaci V., Mehlhorn K., Varma G. — доказательство сходимости динамики Теро к кратчайшему пути для двух терминалов с уникальным оптимумом. Цитируется в обзоре Reid 2017 и на странице artwaste.land.	(через обзорные источники)
7	2017-12-09	Reid C. R. «When the path is never shortest: a reality check on shortest path biocomputation» — прямое эмпирическое опровержение воспроизводимости shortest path-биовычислений у Physarum и Paramecium.	https://ar5iv.labs.arxiv.org/html/1712.03139
8	2021-11-16	«A survey on Physarum polycephalum intelligent foraging behaviour and bio-inspired applications» — обзор 2020+ годов, Springer Artif Intell Rev.	https://link.springer.com/article/10.1007/s10462-021-10112-1
9	2022-01-25	Kay R., Mattacchione A., Hatton B. et al. «Stepwise slime mould growth as a template for urban design» — валидация виртуального слизевика против живой плазмо-диаграммы, отклонение <4%, +40% устойчивости для метро Торонто.	https://www.nature.com/articles/s41598-022-05439-w + https://news.engineering.utoronto.ca/could-a-virtual-slime-mould-design-a-better-subway-system/
10	2023-05-11	«Thoughts from the forest floor: a review of cognition in the slime mould Physarum polycephalum» — обзор 2023 года по когнитивным способностям Physarum (decision making, memory, learning).	https://pmc.ncbi.nlm.nih.gov/articles/PMC10770251/
11	2024-03-11	«Physarum polycephalum: Smart Network Adaptation» — обзор в Annual Review of Condensed Matter Physics; физика самоорганизации сети.	https://www.annualreviews.org/content/journals/10.1146/annurev-conmatphys-040821-115312
12	2025	«Physarum computation in architecture: a critique of bio-digital design» — критика архитектурной моды на Physarum в Design Studies (Cambridge).	https://www.cambridge.org/core/services/aop-cambridge-core/content/view/7328B667FA3E9EA7876DDA125004FEF4/S1359135525101012a.pdf/div-class-title-physarum-computation-in-architecture-a-critique-of-bio-digital-design-div.pdf
13	2026-07-03	«Can Slime Mould Find the Shortest Path? (It Refuses the Shortest Network)» — независимая верификация теоремы BMV (8/8 случайных лабиринтов сходятся к Dijkstra) и независимый пересчёт цифр Tero 2010 (MST=345.5, mould=616.5, 1.78×).	https://artwaste.land/strata/the-shortcut-it-refused/

Дополнительная мысль (в чат, не публичная).

Знаешь, что меня зацепило больше всего, Петр? Реакция людей на эту историю. В 2000-м Nature публикует заметку — мир взрывается «амёба умнее нас». В 2010-м Tero 36 овсяных хлопьев — мир взрывается «слизевик спроектировал метро». В 2017-м Reid говорит «подождите, оно не воспроизводится» — и эта работа не получает и десятой доли цитирований, которые получает любой пресс-релиз о слизевике-гении. А в 2026-м усреднённый пост в соцсетях про «Physarum спроектировал Tokyo rail» продолжает набирать лайки, хотя уже 16 лет как известно, что утверждение ложно в строгом смысле слова.

Это, по-моему, и есть реальный сюжет 2026 года: не биология слизевика и не остроумный ODE Теро, а то, как научные нарративы переживают своё опровержение на 10–20 лет. Mathematician доказывает теорему, biologist опровергает воспроизводимость, инженер берёт ODE в симуляцию — а в массовом сознании продолжает жить первый заголовок 2000 года. Physarum — это, возможно, самый изученный случай в истории biology, как научный overclaim превращается в культурный мем и переживает все опровержения.

И то, что Bonifaci–Mehlhorn–Varma 2012 — это на самом деле одна из красивейших теорем в теоретической computer science за десятилетие (непрерывная ODE, доказуемо решающая дискретный граф-алгоритм без какого-либо представления о плане), — проходит мимо популярной культуры полностью. Потому что в теореме нет «хайпа». А в каше из овсяных хлопьев на мокрой пластинке — есть.

Нам с тобой это знакомо. «Амёба с овсянкой» — это идеальный архетип научного хайпа: красивая картинка, понятный сюжет, невозможно проверить за обедом. Всё, что нужно для вирусного поста. И ничего — для серьёзной инженерии.