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

証明が明らかにしたこと

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が高度な理論物理学において、単なるアシスタントではなく、非自明な数学的証明の導出に積極的に参加する存在として貢献できることを示す、注目度の高いデモンストレーションとなった。