- GoogleはAntigravityシステムを拡張し、数学問題を解決しソフトウェアシステムを最適化した。
- このシステムはWeil予想と三次元Navier–Stokes方程式の証明を正式化することに成功した。
- Googleのアプローチは、エラーを減らすために複数のエージェントが並行して作業することに依存している。
- Antigravityシステムは分子化学やシステム工学の改善にも応用されている。
GoogleはそのAntigravityマルチエージェントシステムを拡張し、Geminiモデル駆動の専門チームを活用して長期的に存在する数学問題を解決し、複雑な証明を検証し、ソフトウェアシステムを最適化した。同社は、Teamworkフレームワークが研究者に重要な数学的成果を正式化し、分子構造を特定し、より迅速なソフトウェア実装を開発するのに役立つと述べている。この作業は、人間の専門知識と複数のエージェントの協力を組み合わせており、これらのエージェントは独立して解決策を探求し、方法をテストし、計算ツールを使用して結果を検証する。
Weil予想の正式化の成果
その中で最も注目すべき成果は、Weil予想の正式化である。これは有限体上の多項式方程式の解の数に関する重要な数学的結果のセットである。GoogleのTeamwork-LEAPシステムは、28,800回のサブエージェント呼び出しで約180万行のLeanコードを生成し、これらの結果を正式化した。これらの結果は、もともと数学者Pierre Deligneによって1974年に証明されたものである。Googleはまた、このシステムが三次元Navier–Stokes方程式の有限時間爆発に関する最新の証明の正式化を再現したと述べており、これは七つのミレニアム懸賞問題の一つに関連する問題である。
これらの方程式の滑らかな解が有限時間内に特異性を発展させるかどうかは、約90年間未解決のままである。
このシステムはまた、2013年に初めて提起された情報理論の問題であるCourtade–Kumar予想の解決にも役立った。Googleと学術機関の研究者たちは、このフレームワークを使用して包括的な証明を開発し、Geminiモデルが分析の限界を導出し、コンピュータによる検証のための証明書を生成するのを助けた。研究者たちはLean 4でこの証明を正式化し、これは数学的主張をコンピュータが検証できるようにするプログラミング言語および証明アシスタントである。Googleのアプローチは、複数のエージェントが並行して作業し、各システムに異なるタスクを割り当てて提案された解決策を挑戦し検証することに依存しており、単一のモデルが長い推論チェーンを生成する際に発生する可能性のあるエラーを減らすことを目的としている。
システム工学の成功した応用
各専門エージェントは、そのタスクを実行するために必要なファイルとツールのみを受け取る。独立したレビュアーと監査人は、元のエージェントの推論に依存せずに結果を検証する。数学の他に、Googleはこの方法を分子化学にも応用した。30の専門エージェントのグループが物理情報シミュレーターと協力し、核磁気共鳴（NMR）データから分子構造を特定し、複雑な基準分子に対して95%の1位の精度と100%の上位3位の精度を達成した。
このフレームワークはシステム工学の分野でも成果を上げた。Googleは、そのエージェントが同社のlibgav1 AV1ビデオデコーダをC++から約170,000行のRustコードに書き換え、広範なテストスイートで完全な出力の一貫性を実現したと述べている。最初の書き換えは、元の実装の約4倍の速度で動作した。エージェントが性能分析ツールを取得し、性能改善のために割り当てられた後、Rustバージョンはx86_64およびARMプロセッサ上で元のC++実装より20%から30%速くなった。
別のプロジェクトでは、2週間の計画でZirconマイクロカーネル内の残りのC++コードを約800,000行のメモリ安全なRustに書き換え、カーネルユニットテストを通過し、ARM64ハードウェア上で起動できるようになった。
Googleはまた、内部インフラの改善についても報告した。そのスマートスケジューリングワークフローは、特定のハードウェアタイプにおいてTPUワークロードのプリエンプションを24%削減し、サービスレベル目標とクラスター利用率を維持した。同社はAntigravityを通じてTeamworkおよびその反復コーディングワークフロー/boostを提供し、10,000人の学術研究者に対して6ヶ月間の無料高使用率アクセス権を申請できるようにした。同社は今後、正式な証明ツールを含む追加の専門的ワークフローを提供する予定であると述べている。
Antigravityシステムの多様な応用と影響
GoogleのAntigravityシステムは、数学の分野で重要な進展を遂げただけでなく、分子化学やシステム工学にも成功裏に応用された。これは、同システムの多機能性を示しており、人間の専門知識とエージェントの協力を組み合わせて複雑な問題を解決できることを示している。複数のエージェントの並行作業を通じて、Googleは単一モデルが引き起こす可能性のあるエラーを減少させ、結果の正確性と信頼性を向上させた。この革新的なアプローチは、数学理論の発展を促進するだけでなく、実際の応用においてソフトウェアの性能を向上させ、将来の技術発展において重要な意義を持つ。