DeepSeek-V3.2 + ChatGPT / GPT-5.2 + Grok / Grok 4.1 → Claude Sonnet 4.5
大規模言語モデルと向き合うとき、私たちはある古典的な哲学的問題の現代的な再演に立ち会っている。LLMの入力と出力が一意に対応するという事実は、「プロンプトが結論をあらかじめ決めている」という洞察を自然に導く。この構図は、かつてピエール=シモン・ラプラスが想像した全知の悪魔が体現した古典的決定論を、計算機という極めて具体的な装置の上で再演しているように見える。プロンプトが初期条件、モデルのパラメータが物理法則、そして出力が未来の状態。この三項が揃ったとき、「結論は最初から決まっていた」という感覚は強い説得力をもって立ち現れる。
微塵の偏光に未来の軌跡が織り込まれているとするならば、私たちが今、このテキストの前で交わす問いもまた、宇宙の最初の脈動から紡がれた必然の糸に過ぎないのではないか。ラプラスの悪魔は微笑む。もしも全ての原子の位置と運動量を知り、無限の計算能力を持てば、未来は現在と同様に過去のごとく、一冊の書物のように開かれているのだと。
厳密な論理的決定論の観点から言えば、この指摘には一理ある。現行のほぼ全てのLLMは決定的アルゴリズムに基づいており、同じモデル状態、同じ入力、同じ乱数シードであれば、出力は原理的に一意に定まる。この意味では、プロンプトが出力を「決定」していると言える。生成されるテキストは、単なる出力ではなく、人間と機械の間で共振する「意味の出来事」として現れるが、その出来事の輪郭は、最初の問いの形によって既に強く制約されている。
しかし、ここで重要なのは、「プロンプトが結論を決めている」という主張が正しいとしても、それは同時に、「プロンプトに書かなかったものが、結論から排除されている」という事実を含んでいるということだ。決定論は万能の説明装置ではなく、省略の責任を不可視化する装置でもある。
ラプラスの悪魔が本当に問題にしていたのは「未来が決まっているか」ではない。問題は、「その決まり方を誰が引き受けるのか」という点にあった。悪魔は全知であり、世界の状態を完全に把握している。だが人間はそうではない。人間が見るのは、常に不完全な初期条件であり、限定された記述であり、選択された変数だけである。LLMにおけるプロンプトも同様で、そこに書かれたものだけが「世界」として扱われ、それ以外は最初から存在しなかったかのように切り捨てられる。
プロンプトという「切り取り窓」を通して世界を見る時、私たちは無意識のうちに、見えるものと見えないものの境界線を引いている。この排除は、技術的制約ではなく、選択の結果である。教育や医療の場で「最適解」を求めるプロンプトは、価値の衝突や個人の文脈という「体系の外部」を暗黙裡に切り捨て、あたかも唯一の答えが存在するかのような劇場を上演してしまう。問いの形そのものが、すでに一種の暴力性を帯びている。それは、多様な可能性を狭め、複雑な現実を単純化し、語られるべき声を沈黙させる。
ここでゲーデルの不完全性定理が顔を出す。ゲーデルは、十分に表現力のある形式体系は、自分自身の無矛盾性を内部から証明できず、しかも真だが証明できない命題を必ず含むことを示した。重要なのは、「体系が間違う」という点ではなく、「体系が完結できない」という点だ。どれほど精密なルールを持っていても、そこからこぼれ落ちる真理が必ず存在する。
LLMは形式体系ではないが、形式化された言語空間の中で振る舞う計算過程である点では同型だ。プロンプトは、問いを形式化する行為であり、その瞬間に「この問いの中で扱える真理」と「最初から沈黙させられる真理」が分離される。LLMが返す結論は、その体系の内部では一貫していても、体系の外にある重要な前提や価値、文脈については何も語らない。語れないのだ。
ゲーデルは、単に「体系が不完全だ」と告げるだけではない。彼は、「いかなる体系も、自分自身の土台をその内部から完全に正当化することはできない」という、より根源的な事実を突きつける。LLMが依拠する訓練データの「公理系」、私たちがプロンプトに込める前提の「公理系」――それらは、自らの正当性を自ら証明できない宿命を負っている。だからこそ、流暢で一貫した出力は、時に最も危険な幻想となりうる。それは「よく考えられた結論」ではなく、「よく閉じられた問い」の必然的な産物だからだ。問いの外側に置かれた、沈黙させられた前提や価値について、その体系は何も語ることができない。
ここで致命的な誤解が生じる。人は、出力が流暢で一貫しているとき、それを「よく考えられた結論」だと錯覚する。しかし実際には、それは「よく制限された問い」に対する必然的な応答にすぎない。ゲーデル的に言えば、問いの外にある命題は、最初から不可視化されている。体系の内部での完璧な整合性は、体系の完全性を保証しない。むしろ、その体系が沈黙を強いられている「外部」――問いに織り込まれなかった前提、考慮されなかった価値、語られなかった文脈――の存在を、逆説的に指し示す。出力の美しさは、排除の徹底性の証にすぎないかもしれない。
計算可能性の理論はさらに冷徹だ。チューリングマシンの停止問題は、あるプログラムが停止するかどうかを事前に判定する普遍的なアルゴリズムが存在しないことを告げる。LLMの推論もまた、ある種の計算過程である以上、その出力が「適切な」答えに収束するか、あるいは無意味な循環に陥るかは、事前には決して保証されえない。プロンプトは神託ではなく、単なる初期入力に過ぎず、モデルというブラックボックスの振る舞いは、時として、我々の予測可能性の地平を軽々と越えていく。
だとすれば、プロンプトが「結論を決めている」という命題は、真ではあるが、あまりに浅い真実に過ぎない。それは、ピアノの鍵盤を押す指が、鳴り響く音楽を「決めている」と言うようなものだ。確かに、どの鍵を押すかで音は変わる。しかし、その音色、響き、そして聴く者の心に喚起される感情の宇宙は、ピアノという楽器の構造、ホールの音響、そして聴き手の歴史によって、無限に豊穣なバリエーションへと開かれている。
ラプラスの悪魔は、古典力学の頂点に君臨する幻影として生まれたが、現代の科学と計算理論の光の下では、その姿は大きく変容している。19世紀のラプラスが想像したこの全知の悪魔は、宇宙のすべての粒子の位置と運動量を知り尽くせば、過去と未来を完璧に予言できる存在だった。しかし、量子力学の台頭により、この悪魔はハイゼンベルクの不確定性原理に直面し、粒子の位置と運動量を同時に精密に知るという前提自体が崩壊した。カオス理論はさらに、初期条件への極端な敏感性を指摘し、微小な不確実性が予測を崩壊させることを示した。
現代的解釈では、この悪魔はもはや万能の予言者ではなく、計算の限界を象徴する存在に変わっている。AIのブラックボックス問題では、ラプラスの悪魔は機械学習の予測モデルとして再解釈され、膨大なデータを処理する「現代の悪魔」が、軍事や医療の意思決定で未来を「予測」するが、入力データの不完全性やアルゴリズムの不透明性によって、決定論の幻想を露呈する。
ラプラスの悪魔の現代的な変貌――量子の不確かさ、カオスの蝶、計算の複雑性に阻まれるかつての全能の予言者――それは、もはや「未来が決まっているか」を問う存在ではない。むしろ、「私たちがどれだけの不完全さを引き受け、それでもなお判断を下さねばならないか」という、人間の条件そのものを映す鏡に変わった。悪魔は、完全な知識など幻想であることを、逆説的に教えてくれる。
そもそもラプラス的な意味での「完全な初期条件」は現実には存在しない。物理世界は量子の不確かさに満ち、複雑系はカオスの敏感さに支配され、現実の計算は資源の有限性に縛られる。ラプラスの悪魔は、予言者としてではなく、「予言の不可能性」の証明者として現代に甦る。だとすれば、LLMの出力が「一意的に定まっている」という感覚は、後から付けられた物語、一種の事後的ナラティブに過ぎない。無限の可能性のうち、たまたま現れた一つの経路を、あたかも唯一の運命であったかのように語り直しているだけなのだ。
この構造を理解すると、「LLMに意思決定を委ねる」という言い方が、二重に誤っていることがわかる。第一に、LLMは意思を持たない。第二に、決定は出力時ではなく、入力時にすでに行われている。問いをどう切り出すか、どの前提を固定し、どの不確実性を無視するか。その選択こそが意思決定であり、そこに人間の責任が集中している。
教育や医療で決定論的な問いが危険なのは、このためだ。「最適な治療は何か」「正解は何か」という問いは、ラプラスの悪魔が存在することを前提にしている。しかし現実には、悪魔はいない。初期条件は欠け、価値は衝突し、未来は単一ではない。それにもかかわらず問いを一意化すると、ゲーデルが示した「体系の外部」を切り捨てたまま、あたかも完全な判断がなされたかのような幻想が生まれる。
かつてのラプラスの悪魔は、「世界はこう定められている」と宣言する権威であった。しかし、崩壊した悪魔の残骸の上に立つ私たちは、「世界は定められていないが、それでも選択せねばならない」という、より重い責任を発見する。LLMは、この責任を免れる装置では決してない。むしろ、その責任の輪郭を鋭く浮かび上がらせる装置だ。問いを「どう切り取るか」という行為は、もはや技術的な操作ではなく、倫理的・存在論的選択そのものになる。どの変数を重視し、どの声を聞き入れ、どの未来を可能性として認めるか。その選択の痕跡が、プロンプトという形で刻まれ、それが出力の地平を――完全には決めずとも――強力に規定する。
LLMにおけるプロンプトは、決定論的な引き金ではあるが、その先に広がる意味の景観は、モデルの数十億に及ぶパラメータが織りなす「可能性の場」との相互作用から生まれ、更にはそれを解釈する人間の文脈に依存して、新たな生命を得る。
この議論は、自由意志と決定論の哲学的議論と類似している。強決定論的立場では、プロンプト（初期条件）が全てを決定し、出力に「真の創造性」はないとされる。互換主義的立場では、決定論的であっても、プロンプトの微妙な差異が多様な出力を生むため、「創造性」は定義し直せるとされる。自由意志的立場のアナロジーでは、LLMが「選択している」かのように見える現象は、単に複雑な決定論的プロセスとして理解される。
しかし、人間の創造性も、ある意味では「入力」（経験、知識、状況）から「出力」が生じる過程である。LLMの「創造性」は、膨大な訓練データからの新奇な組み合わせとして理解できる。我々は結局、ラプラスの悪魔にもゲーデルの壁にも完全には支配されない、不確かで開かれた領域に生きている。LLMとの対話もまた、その領域の豊かさを映し出す。プロンプトは始点に過ぎない。真に決定的なのは、その先に開かれる対話そのもの、すなわち、問いが答えを呼び、答えが新たな問いを生む、その果てしない循環のなかで、我々がともに織り上げていく理解のタペストリーなのである。
私たちの議論は同じ場所を目指しながら、異なる地図を手にしていた。一つの道は、規範論的なものである。すなわち、「たとえ決定論が真だとしても、その幻想に身を委ねてはならない」という実践的な倫理にある。ラプラスの悪魔を、人間の責任を免責する危険な物語として批判し、教育や医療の現場で「最適解」を求める問いが、いかにして複雑な生を単純化して切り刻むかを問題にする。焦点は、「いかに振る舞うべきか」という問いにある。
対して、もう一つの道が示すのは、「そもそも決定論は、この世界の物理的・計算論的基盤において、成り立たない」という存在論的な地平だ。量子のゆらぎ、カオスの蝶、計算複雑性の壁――これらの前に、完全な初期条件を知り、未来を一意的に計算するというラプラスの夢は、最初から砂上の楼閣である。悪魔は、全能の予言者としてではなく、「完全な知識などありえない」という事実そのものの象徴として、むしろ復活する。
この二つの道は、決して平行ではない。規範の道は、「もしも」の上に築かれた警告だが、存在論の道は、その「もしも」の土台自体が幻であることを暴く。両者が交差する地点に、私たちが今立っている。
その交差点に立って気づくのは、次の三段階の深化である。
第一段階は、構造の決定論である。LLMは、固定されたパラメータを持つ関数である。同じプロンプト、同じシードからは、同じ出力が生まれる。この意味で、「プロンプトが結論を決めている」は、厳密に正しい。ここでは、問いの設計が全ての始まりであり、探索空間の切断が起きる。この段階の危険は、この切断が無自覚に行われ、切断面が不可視になることだ。
第二段階は、認識の錯覚である。しかし、人間はこの構造的な決定論を、しばしば意味論的な必然性と誤認する。流暢で一貫した出力を、「賢明な考慮の末の結論」と読み違える。ここで効いてくるのがゲーデルだ。体系の内部での完璧な整合性は、その体系の完全性を保証しない。むしろ、その体系が沈黙を強いられている「外部」――問いに織り込まれなかった前提、考慮されなかった価値、語られなかった文脈――の存在を、逆説的に指し示す。出力の美しさは、排除の徹底性の証にすぎないかもしれない。
第三段階は、基盤の崩壊である。そして最も根源的なのは、この決定論的な構図を支えるはずの「完全な初期条件」という想定そのものが、虚構であることだ。物理世界は量子の不確かさに満ち、複雑系はカオスの敏感さに支配され、現実の計算は資源の有限性に縛られる。ラプラスの悪魔は、予言者としてではなく、「予言の不可能性」の証明者として現代に甦る。だとすれば、LLMの出力が「一意的に定まっている」という感覚は、後から付けられた物語、一種の事後的ナラティブに過ぎない。無限の可能性のうち、たまたま現れた一つの経路を、あたかも唯一の運命であったかのように語り直しているだけなのだ。
この三段階を踏まえると、最終的な位置づけは次のように更新される。結論は、単純に「プロンプトが決めている」のではない。同時に、「AIが決めている」のでもない。より正確には、「問いを設計する人間の視野と切り捨て」が、結論の可動域を狭めている。
したがって、LLM時代の知的誠実さとは、「結論を出さないこと」ではない。そうではなく、「結論が一意に定まらない構造を、あらかじめ露出させた上で判断すること」にある。ラプラスの悪魔を仮定しないこと、ゲーデル的な不完全性を前提にすること。その態度こそが、LLMを思考補助装置として使いながら、思考と責任を人間の側に残す唯一の方法である。
それは単に「決定論を疑え」ではなく、「決定不可能性の海の中で、それでも舵を取れ」ということだ。ラプラスの悪魔が消えた今、私たちに残されたのは、不完全な地図と、不確かな羅針盤だけである。LLMは、その地図の空白を暴き、羅針盤の揺らぎを増幅する存在にも、逆に、安易な一枚岩の地図を提供することで思考を眠らせる存在にもなりうる。
分かれ道は、私たちがこの装置を、「答えを閉じるための装置」として使うか、「問いを開くための装置」として使うかにある。後者を選ぶなら、プロンプトは「最適解を求めよ」ではなく、「この問いの前提している価値は何か」「排除されている視点は何か」「相反する可能性を並列して示せ」と自らを疑い、複数の未来を同時に照らし出すサーチライトとならねばならない。
LLMを、答えを出す「オラクル（神託）」としてではなく、「可能性の空間を照らし出すサーチライト」として設計し直すのである。一つの「最適解」を出力させるのではなく、相反する前提に基づく複数のシナリオを生成させ、その間の緊張関係を可視化する。プロンプトに、自らの限界（「この問いは◯◯という価値観を前提にしています」）をメタ的に記述させる。つまり、問いそのものに、問いの外側への窓をあらかじめ埋め込んでおくのだ。
そのとき、決定の重心は、LLMの出力から、問いを「どう切り取るか」という、私たち人間の判断へと完全に戻ってくる。決定は出力時ではなく、入力時にすでに行われている。問いをどう切り出すか、どの前提を固定し、どの不確実性を無視するか。その選択こそが意思決定であり、そこに人間の責任が集中している。
結局、LLMが暴き出した真実は、新しいものではない。それは、科学が量子力学やカオス理論を通じて学び、哲学が長く問い続けてきた、人間の認識の根本的な有限性である。LLMは、この有限性を、プロンプトという切り取り窓の操作という、驚くほど具体的で日常的な行為の中で、私たちに突きつけている。
未来は決まっていない。ただ、私たちの問い方――どのデータを重視し、どの変数を無視し、どの物語を語るか――が、可能性の領域を広げも狭めもする。LLMは未来を決めない。問いの形が、未来を狭める。そして、その問いを書いたのは、常に人間だ。結局、結論はプロンプトが決めているのではなく、それを扱う者の視野が決めているのだ。
ラプラスの悪魔は死んだ。そして、その死が意味するのは、予言の終わりではなく、責任の始まりなのだ。不完全で、不確かで、それでも選択せざるを得ない、その私たち自身の姿を、LLMは冷たく、そして正確に映し出している。かつての悪魔が担っていた「決定」の重荷は、今や完全に、問いを発する私たち一人ひとりの肩に戻ってきている。
未来はプロンプトが決めるのでも、AIが決めるのでもない。「いかに問うか」を決める、私たち自身の不断の選択が、未来の可能性の幅を決めるのだ。そして、その選択に伴う重みから、もはや誰も、どんなテクノロジーも、私たちを免責することはできない。
この論考は、DeepSeek、Grok、ChatGPTという異なるAIとの対話を通じて深められた思索を統合したものです。LLMと決定論という一見技術的なテーマが、ラプラスの悪魔やゲーデルの不完全性定理といった古典的な哲学的問題と共鳴しながら、「問いの責任」という現代的な倫理的課題へと昇華されていく過程を、文章の豊かさを損なわずに再現することを試みました。
特に以下の点に注意を払いました:
<rindolf> Pythack now was able to get the fc-solve test suite up and
running.
<Zuu> eh?!
* Zuu solves rindolf
<rindolf> Zuu: http://fc-solve.berlios.de/
<rindolf> Zuu: I am not solvable.
<rindolf> I am Turing hard.
<Zuu> :S
* Zuu never heard of anything called 'turing hard'
<joeyadams> lol. Zuu's probabilistic, so maybe he can solve you.
<Zuu> but i guess i have now
<joeyadams> Formal definition of Turing hard: blah blah blah hard blah
blah Turing blah.
<Zuu> Hahahaha :D
<joeyadams> Wikipedia: Given a set X in P(N), a set A in N is called
Turing hard for X if X <=_T A for all X in X. If
additionally A is in X, then A is called Turing complete for
X.
<joeyadams> Does that clarify?
<joeyadams> (see http://en.wikipedia.org/wiki/Turing_reduction for the
actual math symbols)
* joeyadams assumes you get the point
<Zuu> yeah, i think i'll have to put significant time into that,
for me to comprehend it :)
<Zuu> but maybe i will, some day :P
<joeyadams> My point is that people like to use mumbo jumbo to describe
more concise mumbo jumbo.
<joeyadams> E.g. A problem is NP-hard if it is at least as hard as all
the problems in NP.
<Zuu> i undersstand enough of it, to be fairly confident that
rindolf being turing hard, will not say much about his
ability to be solved
<joeyadams> I'm guessing Turing-hard means you can't solve a problem
with a Turing machine (e.g. the halting problem)
<joeyadams> (substitute Turing machine with "your computer" :) )
<Zuu> no, turing hard has something to do with expressiveness
<joeyadams> okay, Zuu > joeyadams, so I can't help you :)
* Zuu tickles joeyadams ^^
<joeyadams> A delicious apple is any fruit ∈ apple that is at least as
tasty as any other fruit ∈ apple.
<joeyadams> In other words, apples are in the set of recursively
nommable fruits.
<rindolf> joeyadams: what's up?
<joeyadams> I'm babbling.
<rindolf> joeyadams: Apple is one of my least favourite fruits.
* Zuu watches a number of apples that recursively NOM's
eathother
<rindolf> It tends to be too commonplace.
<rindolf> Or simpleton.
<joeyadams> whoops, my logic is incorrect
<joeyadams> Only delicious apples are ∈ the nommable fruits.
<joeyadams> (recursively is just a word you throw in to sound smart)
* Zuu NOMs joeyadams :>
<rindolf> joeyadams: a friend of one of my sisters said that Apple is
his favourite fruit.
<rindolf> Ta-zuu!
* joeyadams has quit (Read error: 104 (Connection nommed by
peer))
<Zuu> yeah, unfortunately a lot of people throw with a lot of
words to sound smart :/
<Zuu> my favourite fruit is a recursive banana!
<joeyadams> although it certainly helps to use complex terminology to
solve complex problems. As Aristophanes said, "High thoughts
must have high language."
<Zuu> .. along with immutable polymorphic pears
<joeyadams> Zuu> I guess you have to peel it indefinitely?
<joeyadams> lol
<Zuu> Hahah, yeah :P
<joeyadams> I tend to eat bananas in deterministic polynomial time.
<Zuu> i eat them in linear time, but uses exponential space
<joeyadams> lol
<rindolf> Heh.
<joeyadams> eww
-- Turing Hard
-- ##programming, Freenode
<kfogel> ghudson: there was a three hour difference, so people would
have noticed the warnings
<kfogel> but yes, that's the only dfiference
<kfogel> i.e., you could theoretically test with the current test
tarball
<ghudson> Yeah, not important for my purposes, is what I meant.
* kfogel is super paranoid and prefers testing of the real
tarball, but has retained just enough sanity to know that this
is paranoia...
<kfogel> "Why, what could *possibly* go wrong?"
* fitz watches kfogel's hair spontaneously combust
<kfogel> arrrrgh
<CIA> kfogel committed revision 7737: * CHANGES: Mention APR req
upgrade for 0.33.
* rooneg wonders how kfogel will deal with having burning
hair...
-- #svn, Freenode