トップの理論物理学者3人が論文でAIに謝意を表し、研究の変革が進む

理論物理学の最前線で、生成人工知能が論文の着想や証明作りに関与する例が相次いでいる。弦理論や量子場論で影響力を持つエドワード・ウィッテンは、カイラルフェルミオンを含む規範理論を格子上で定義する問題を扱い、論文でアンスロピックのクロード・オーパス5.5に謝辞を寄せた。 この問題は、基本粒子を格子に載せると余分な粒子が現れる「フェルミオン増倍問題」に関わる。1981年のニールセン・ニノミヤ定理以来、完全なカイラル規範理論を格子上で構築することは長年の難題だった。ウィッテンは、まず格子点上に規範場を置き、その情報を連続空間へ滑らかに延ばしてカイラルフェルミオンと結びつける新たな扱いを提案した。 論文でウィッテンは、従来手法が格子単位の境界で滑らかに継承できない点を指摘し、クロード・オーパス5.5が座標写像を調整して各単位内で場を滑らかに延ばし、隣接単位を自然に接続する案を出したと記した。線形補間を使う代替案も掲載した。手法は原理的に計算機で実装できるが、通常のモンテカルロ法では計算できず、実用上の課題が残る。ウィッテンは6月の論文でも、クロード・オーパス4.8が特殊な計算の一般化を支援したと脚注で明かしていた。 同じ問題では、10月6日に論文を出したナサニエル・クレイグが、オープンエーアイのジーピーティー6アストラモデルが成果に不可欠だったと謝辞に書いた。彼は自分の初期案を人工知能と複数回やり取りして精緻化し、数学的導出の多くをモデルに行わせ、リーンによる形式的検証も試みた。数日後に論文を出したスティーブン・フースーは、別の離散化と連続記述の混在で問題回避を試み、付録の一部を人工知能に作成させたと説明した。主作業はジーピーティー系モデル、確認は他のモデルが行ったとされる。彼は11月6日の交流サイトで、ウィッテンから草稿共有を受け、類似案だが人工知能の使い方が違うと述べ、検証段階では能力の低いモデルも使えたと語った。 学界では数学者ピーター・ウイトなどが、人工知能が科学者を未知の分野へ導く点に意義を見出した一方、問題解決には遠いとの見方を示した。マット・ストラッスラーは、人工知能生成を含む長い技術文を人間が理解し査読する負担が大きいと懸念した。ネット上でも、人工知能が大量の証明を生成できても、人間が論理を追えるかが論点になった。3人の論文はいずれも出版前論文で、今後の検証が必要だが、人工知能が最先端の理論研究に本格的に入り込みつつあることは明確になっている。