証明とは何か？ ── 量子複雑性理論の20年来の謎が解けた先にあるもの

テーマ設定：「証明できる」とはどういうことか

2026年7月6日、Quanta Magazineが報じた一報がひっそりと数学史に刻まれた。4人の研究者が100ページの論文で、量子複雑性理論における20年来の未解決問題を解いたのだ。2026年の計算理論シンポジウム（STOC 2026）でベストペーパー賞を受賞したこの研究は、「量子証明（Quantum Proofs）の力はどこまで及ぶか」という問いに答えを出した。

だが数学の外にいる人間にとって、この問いははるかに深い問いと地続きだ。「証明」とは何か。そして何が原理的に証明できないのか。

本文

1. 「証明」の日常的な誤解

私たちは日常的に「証明」という言葉を使う。「彼の無実を証明する」「効果が証明された薬」。しかし数学者が言う証明は全く別物だ。数学的証明とは、公理（前提として認める命題）から出発し、論理の規則だけを使って目標の命題に到達する手続きだ。証拠も実験も要らない。一度証明されれば、宇宙のどこでも永久に真である。

これは人類が生み出した最も強力な知的道具の一つだ。紀元前300年にユークリッドが「三角形の内角の和は180度」を証明した方法は、2026年の今も一字一句そのまま有効だ。

2. ゲーデルの爆弾（1931年）

20世紀最大の知的衝撃の一つは、数学者クルト・ゲーデル（Kurt Gödel）が1931年に放った爆弾だ。不完全性定理。彼が示したのは「数学は自分自身の一貫性を自分で証明できない」という事実だった。

どれほど厳密な公理系を作っても、その公理系の中では証明も反証もできない命題が必ず存在する*[^1]*。真であるかもしれないのに、証明という手続きの外にある命題が。

これは哲学的地震だった。「証明できること」と「真であること」は同じではないかもしれない。

[^1]: 正確には「ω一貫性（ω-consistency）」という条件が付くが、概念の核心はこの通り。

3. 複雑性理論：「証明できる」だけでなく「速く証明できるか」

ゲーデルが「何が証明できるか」を問うたとすれば、20世紀後半の計算機科学者たちは「どれだけ速く証明（検証）できるか」を問い始めた。これが計算複雑性理論だ。

最も有名な未解決問題が「P対NP問題」だ。答えを検証するのが速い問題は、答えを発見するのも速いか？ 直感的には「否」だ。数独の答えが正しいか確認するのは簡単だが、解くのは難しい。しかし数学的には未証明のまま50年以上が経つ。

4. 量子証明（QMA）とは何か

今回の研究が扱ったのは**QMA（Quantum Merlin Arthur）**という計算クラスだ。ここで登場人物は「マーリン」と「アーサー」だ。

マーリンは万能の数学者で、問題の「証明」を持っている。しかし信用できない（嘘をつくかもしれない）。アーサーは量子コンピュータで、マーリンが差し出した「証明（量子状態）」を検証する。QMAとは、量子コンピュータで検証できる問題のクラスだ。

長らく未解決だったのは「QMA = QCMA か？」という問いだった。QCMAはマーリンが古典的な情報（普通のビット）しか使えない場合のクラス。もし両者が等しければ、「量子証明は古典的証明より強力ではない」ことになる。4人の研究者は、ある特定の設定でこの問いに決定的な答えを出した。

5. 数学は「発見」か「発明」か

数学者セルジウ・クレインマン（Sergiu Klainerman）はAeonへの寄稿で「数学は神聖な事実を「divining（感知する）」ことだ」と書いた。彼のいう数学の事実とは、人間が作ったものではなく、発見されるのを待っている真実だ。

これはプラトンの伝統を引き継ぐ立場だ。プラトンにとって、完全な円や完全な三角形はどこかの「イデア界」に実在し、人間の書く数学はその影を映しているに過ぎない。量子証明が古典証明より強力かどうかという問いも、この観点からは「人間が作った定義の問題」ではなく「宇宙の構造についての事実」だ。

一方で「数学は人間の発明だ」という立場もある。数学は単なる公式の記号ゲームであり、宇宙の真理とは無関係に、内部的に一貫したルールを設定して遊ぶゲームだ、と。

この論争は1931年のゲーデル以来、今も結論が出ていない。

6. 量子証明研究が問いかけること

今回の研究の意義は技術的な答えを超えている。「何が量子的に証明できるか」という問いは、突き詰めれば「知性（知ること）の限界はどこにあるか」という問いだ。

古典コンピュータで証明できること、量子コンピュータで証明できること、どんな計算機でも原理的に証明できないこと（ゲーデルの領域）── これらの境界線を引く試みは、「知識とは何か」という最も古い哲学的問いを数学の言語で語り直す試みだ。

AIが数学の定理を自動証明し始めた2026年に、「証明とは何か」を問い直すことはかつてなく重要だ。AIが生成した「証明」は、ゲーデルの意味での証明と同じものか。量子コンピュータが「見つけた」解は、マーリンが差し出した信頼できない証明と同じか。

問いは更新されながら続く。人類の知的探求において、これ以上刺激的なことはない。

さらに学ぶための3点

① Scott Aaronson『Quantum Computing Since Democritus』（Cambridge University Press, 2013） 計算複雑性理論の最高の入門書。著者はQMA研究の先駆者の一人。哲学・数学・物理を横断して「計算とは何か」を問う。日本語訳あり（「デモクリトスから量子コンピュータまで」）。

② Kurt Gödel, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems"（1931） ゲーデルの原論文。読みにくいが、エルネスト・ナーゲル＆ジェームズ・ニューマン著『ゲーデルの証明』（邦訳、岩波書店）が優れた解説書として存在する。

③ Quanta Magazine: "Complexity Theory's 50-Year Journey to the Limits of Knowledge"（2023） P対NP問題の歴史と現状を詳細に追ったロングリード。計算の限界についての最も読みやすい入門記事の一つ。 → 記事リンク