世界を動かす技術を、日本語で。

生命は計算の一形態なのか?

概要

  • Alan TuringJohn von Neumann は、生命と計算の論理が本質的に同じである可能性を早くから指摘した先駆者
  • DNA は文字通り「プログラム」として機能し、自己複製や生命活動を制御
  • 生物計算は 並列的 かつ ランダム性 を活かした分散型システム
  • セル・オートマトンニューラルネットワーク など、非中央集権的な計算モデルの発展
  • 現代AIや生物模倣型シミュレーションにおける計算と生命の融合

生命と計算の論理:Turingとvon Neumannの洞察

  • Alan TuringJohn von Neumann は、生命の仕組みと計算の原理が深く結びついていることを早期に洞察
  • 1994年、von Neumannが予見した 自己複製マシン がコンピュータ上で実現
  • DNA は「プログラム」として機能し、指示に従ってタンパク質を合成
  • 生物の再生産も計算処理も、 コード化された命令 に従う機械的プロセス
  • DNAの多層的な構造やエピジェネティクス、遺伝子の近接効果など、生物特有の複雑性

生物計算とデジタル計算の違い

  • 生物計算は 大規模並列処理、分散型、ノイズを含むシステム
  • 人体内のリボソームは約 300京個、それぞれが確率的な計算を実行
  • ランダム性や可逆性、不確実性を積極的に活用
  • デジタル計算は 論理ゲート による直列・中央集権的処理、99.99%の信頼性
  • 生物計算も計算の一形態であり、ランダム性は「バグ」ではなく「特徴」

ランダム性・並列性と現代AI

  • コンピュータ科学の多くのアルゴリズムも ランダム性 を必要とする
  • Turingは Ferranti Mark I に乱数命令を導入
  • AIの学習(例: 確率的勾配降下法)やチャットボットの「温度」設定、GPUの並列処理
  • 伝統的なデジタル計算は 中央処理装置(CPU) による直列処理に依存
  • 初期の計算機は部品の制約から中央集権設計( von Neumannアーキテクチャ)を採用

セル・オートマトンと分散計算の発展

  • Turingの 形態形成 研究や「無組織機械」概念、並列・分散型計算の先駆け
  • von NeumannとStanisław Ulamによる セル・オートマトン の提案
    • 各セルが隣接セルとだけ通信し、同時に状態を更新
    • 紙上で自己複製セル・オートマトンの主要部品を設計
  • セル・オートマトンのプログラミングは、全セルが同時に状態を変えるため非常に難解
  • ランダム性や複雑なフィードバックを加えると、生物のような挙動を再現可能

計算の多様性と「プラットフォーム独立性」

  • 計算は中央処理装置や論理ゲート、2進法、直列プログラムを必須としない
  • 「無限の計算方法」 が存在し、理論的にはすべて等価
  • 任意のコンピュータは他のコンピュータをエミュレート可能(ただし速度制約あり)
  • 1994年の自己複製セル・オートマトンのエミュレーションには膨大な計算資源が必要
  • ニューラルネットワークの大規模並列処理も、近年のハードウェア進化で実用化

Neural Cellular Automaton(NCA)と現代の応用

  • 2020年、Alex Mordvintsevがニューラルネット、Turingの形態形成、von Neumannのセル・オートマトンを統合し Neural Cellular Automaton(NCA) を提案
    • 各セルがニューラルネットワークを通じて周囲の情報を感知・変化
    • 任意のパターンや画像を「成長」させることが可能
  • 実際の細胞も内部状態と外部刺激に応じて非線形かつ目的的な「プログラム」を実行
  • NCAは、移動を伴わず状態変化や化学物質の吸収・放出のみを行う細胞の挙動モデル化に有効
  • 複雑な多細胞生命が「局所的思考」「全体的行動」を実現する様子を再現
  • von Neumann設計からNCAまで、計算が生命現象を生み出す基盤を示唆

参考情報

  • Blaise Agüera y Arcas:Google VP/Fellow、Technology & Society CTO、Paradigms of Intelligence創設者
  • 著書「What Is Intelligence?」より抜粋
  • オープンアクセス版も公開

Hackerたちの意見

この質問をする意味がわからないな。確かに、物理システムは特定のルールに従うから、どんなプロセスもアルゴリズムの計算みたいに見えることはあるよね。それに、進化自体も生物を環境に最適に適応させるように常に最適化しているし、これも計算みたいなもんだ。だから、「生命は計算なのか?」って聞くのは、ほとんど意味論的な考えに過ぎない気がする。まず「生命」と「計算」を定義してみて、それが同じかどうか見てみればいいんじゃない?

進化は何も最適化してないよ。生物圏で起こっているのは、突然変異と選択のプロセスであって、特定の目標に向かって最適化されてるわけじゃない。さらに少し抽象的に言うと、質量とエネルギーの保存のために、実際に起こっているのは、既存のバイオマスが太陽放射によって異なる生命形態に再編成されることなんだ。

タイトルは「生物をシミュレートすることは可能か?」にすべきだね。最後の文が「こうしたシミュレーションは、計算がスケールを超えて生命のような振る舞いを生み出す様子を示している」だから。ここでは生命について何も議論されてないし、一度も定義されてないよ。

また、進化自体が環境に最も適応するように生物を最適化し続けているのは、計算と同じだ。最適化がないなら、生物が繁殖できる限り、存在し続けるだろう。それは「最も適応している」わけでもなく、より良い適応に向かう軌道にいるわけでもない。系統が時間とともに適応度が低下することもあり得るし、絶滅に至ることもある。それでも進化なんだ。時間が経つにつれて、ほとんどの系統にとってそれが事実であることが示されている。

これって、著者に賛同してる人向けに書かれたポップサイエンスって感じがする。論点もなければ、「計算」の定義すらないし。チャーチ・チューリングの話には触れてるけど、「すべての効果的に計算可能な関数は計算可能」というところから「生命は計算である」っていう飛躍は、本に収まるようなものじゃないよ。

ホフスタッターの『ゲーデル/エッシャー/バッハ』の神秘主義を思い出した。なんか、すべてが再帰的だっていうやつ。

論点もなければ、「計算」の定義すらない。 「それは間違っているわけでもない」 - パウリ

そうだね、この記事は本の短い抜粋みたいで、かなりのコンテキストが失われてる気がする。著者が提起した質問には興味があるけど、本が出るのを待つことにするよ。いいニュースは、その本がオープンアクセスになるみたいで、MITプレスは最近これを推奨しているみたいだね(少なくとも著者に選択肢を与えている)。

ウォルフラムの「計算同値の原理」を思い出すな。1. 自然界の物事には計算のような最大の複雑さがある 2. ほとんどの物事はこれほど複雑になる 3. だからほとんどの物事は「計算同値」なんだ 4. 「例えば、人間の脳の働きや気象システムの進化は、原理的にはコンピュータと同じことを計算できる。」 物事が何らかの関係に基づいて同値クラスに属することと、「原理的には同じである」ことの間の飛躍は、基本的な集合論を学んだことがあるなら難しいかもしれないけど、それは視野が狭いだけだよ。

著者は新しい主張を展開しているのかな? 誰かこの本を読んだ人いる? ざっとレビューを見た感じだと、著者は共生起源が進化と人工知能の中心にあるって言ってるみたい。これは面白いね。今のAI関連の文献ではこのメカニズムについての言及を見た記憶がないから。人工生命との共生関係の可能性は、未来に不安を抱える人たちにとっては一種の癒しのように感じる。可能性はあるけど、確実ではないよね。

フェデリコ・ファッジンの意見の方がずっと良いと思う(個人的には、一貫性があってよく考えられてる)。[1] https://www.youtube.com/watch?v=0FUFewGHLLg

エッセンシア財団のやってる仕事、すごく好きだよ!シェアしてくれてありがとう!

Hacker Newsで議論の続きを見る