ノーベル賞物理学者とAI「Claude」が解いた10年来の難問——「a + b = 1」の証明

10年以上にわたり、物理学者たちは「ジャミング転移」理論における二つの重要な臨界指数——aとb——が足すと1になることを数値的に確認していた。しかし、誰もそれを解析的に証明することはできなかった。2026年、ノーベル賞受賞物理学者のジョルジョ・パリージ氏とフランチェスコ・ザンポーニ氏が、人間の洞察力だけではなく、AIとの協力を通じてこのギャップを埋めた。

ここでは、その発見の内容、Anthropic社のClaudeがどのように貢献したか、そしてこの証明が複雑系物理学に何をもたらすのかを解説する。

科学的発見

パリージ氏とザンポーニ氏は、プレプリント（arXiv:2606.03300）を公開し、密な非結晶質剛体球のジャミング転移に関する「完全レプリカ対称性の破れ（fullRSB）」理論における二つの臨界指数の関係式 a + b = 1 の初めての解析的証明を発表した。

予想の背景

約10年前にCharbonneau、Kurchan、Parisi、Urbani、Zamponi（CKPUZ, 2014）によって開発されたfullRSB解の中では、三つの臨界指数——a、b、c——がジャミング点近傍のスケーリング挙動を記述する。

• 関係式 b = (1 + c)/2 は、スケーリング仮説における拡散-ドリフト均衡からすでに解析的に証明されていた。
• もう一つの関係式 a + b = 1 は、10年以上にわたり任意の精度で数値的に確認されていたが、解析的な証明は得られていなかった。

証明が明らかにしたこと

a + b = 1 という関係式は、スケーリングfullRSB方程式から直接導出される。重要なのは、この関係式から a = (1 - c)/2 が導かれ、b = (1 + c)/2 と合わせると、三つの指数すべてが単一のパラメータcによって決定されることを意味する。これにより、fullRSB解の予測の自由度が減り、理論の内部整合性が強化される。また、Wyartらの機械的-限界安定性の議論によって以前から予測されていたスケーリング関係 α = 1/(2 + θ) および κ = 2 - 2/(3 + θ) を独立に導き出すこともできる。

Anthropic社のClaudeの貢献

この証明は、人間の洞察力だけで達成されたわけではない。論文には明確に次のように記されている：「この証明はClaude（Sonnet 4.6およびOpus 4.7）との対話を通じて得られ、我々によって検証された」。

反復と協力のプロセス

• パリージ氏とザンポーニ氏は、Claudeとの間で約40回の対話を重ねた。
• 使用されたClaudeのモデルはSonnet 4.6とOpus 4.7の二つである。
• Claudeは一度で完成された証明を生成したわけではない。むしろ、対話を重ねる中で反復的にほぼ完全な証明を導出した。著者らは各ステップをレビューし、修正し、検証した。
• 完全なチャットログは一般公開のためZenodoにアーカイブされている。

役割分担

• Claude：代数操作の候補を生成し、fullRSB方程式のパターンを特定し、重い記号推論を実行した。
• パリージ氏とザンポーニ氏：概念的な枠組みを提供し、数学的正しさを検証し、証明が確立された物理学の枠組みに適合することを確認した。プレプリントでは、Opus 4.7は著者らによる最小限の監督で、本質的に証明を自力で導出したと述べられている。

発表と意義

このプレプリントは、2026年6月2日にarXivに投稿され（2026年7月2日更新）、タイトルは「A proof of an identity for the critical exponents of jamming」である。著者はジョルジョ・パリージ氏とフランチェスコ・ザンポーニ氏の二人で、Claudeは共著者ではなく、方法論で使用されたAIツールとして謝辞に記載されている。

イタリアのIl Fatto Quotidiano、ブラジルのCorreio Braziliense、中国の36Kr、米国のDiggなどの報道機関は、これをノーベル賞受賞者が大規模言語モデルを真の研究協力者として活用し、長年の理論的難問を打破した画期的な事例として報じている。

なぜ重要なのか

この結果は、ガラス、粉粒体、および非結晶系の物理学における基本的な問題であるジャミングのfullRSB理論における10年来のギャップを埋めるものである。同時に、LLMが高度な理論物理学において、単なるアシスタントではなく、非自明な数学的証明の導出に積極的に参加する存在として貢献できることを示す、注目度の高いデモンストレーションとなった。