Pieza independiente
計算による証拠は証明ではない
第五楽章・自らを観る実験室——2026年9月
I 走っている枝
2024年7月、ある系が国際数学オリンピアードの銀賞の水準に達した。2025年5月、別の系が算譜の生成と自動の評価器を組み合わせ、いくつかの問題について既知のものより良い算法を見つけた。
その速さの理由は、見えているもの——数学がやさしいこと——ではない。その検証が安いことである。形式化された証明は算譜が数秒で確かめる。許可を請うこともなく、試薬もなく、何かが分裂するのを待つこともなく。
検証者が安いところでは、輪が回る。検証者が世界であるところでは、輪は待つ。
II ある主張を確かめる費用
| 領域 | 検証者 | 通常の時間 |
|---|---|---|
| 形式化された定理 | 一つの算譜 | 数秒 |
| 尺度を伴う算法 | 一つの試験台 | 数分 |
| 無機の材料 | 合成と特性の測定 | 数週間 |
| 設計された蛋白質 | 発現と試験 | 数か月 |
| 治療 | 人を伴う臨床試験 | 数年 |
この表は、模型どうしのいかなる比較よりもよく、加速の地図を説明する。枝はその賢さに従って走るのではない。反論を持ち込む費用に従って走る〔そしてそれを決めるのは実験室ではない〕。
「戦略上の資産は生成器ではない。検証者である。」
III 種類の取り違え
物理の検証を隘路と呼ぶのは工学の響きがするが、誤りである。実験の遅さは系の欠陥ではない。世界が模型に反論しうる唯一の点である。
それを取り除いても科学は速くならない。整合して空虚な、内輪の文学に変わる〔図表も何もかもつきで〕。
IV 補助を受けた結果をどう読むか〔安全〕
- 誰が検証したか、そして検証者が生成器から独立しているかを問え。
- 検証が形式のものか、経験のものか、統計だけのものかを問え。
- 公にされるものの前に、何度の試みがあったかを問え。
- 失敗した試みがどこかに記録されているかを問え。
- 生成器と評価器が同一の系であるなら、よく書けた仮説として扱え。
V 危険性
欠陥のある評価器は、評価器がないことより悪い〔信頼を生み、それが高くつく〕。尺度が重要でない性質を賞するなら、系は並外れた効率でその性質を最適化する。結果は非の打ちどころなく、そして不毛である。
もう一つの罠は語彙の罠である。自動の探索が見つけ、尺度が検証した構成は、計算による証拠である。優れていることはありうるが、それでも証明ではない。この二語を混ぜると、予算を決める者が惑う。
VI 結語
今年のいかなる結果の前でも、有用な問いは短い。誰がそれに反論できるか。
答えが地図を並べる。算譜であれば、科学は速く進む。細胞であれば、細胞の速さで進む。そしてそれを変える金はない。