Google Antigravity×Gemini 3.7 Flashで数学・工学解決

グーグルは近期、自律型AIエージェントが長期的な複雑課題に対して協調・批判・反復処理を行うマルチエージェント協調フレームワークTeamworkのアップデート版を提供した。本フレームワークにGemini 3.7 Flashモデルを統合運用することで、研究開発とエンジニアリング領域における問題解決効率が飛躍的に向上した。 数学および理論計算科学分野では、FOCSやJMLRなど主要学会で未解決とされていた7件の課題を解決。特にクルントのサイクル予想は自動証明支援システムLeanを用いて40ページを超える厳密証明で検証され、スパース凸最適化、大規模言語モデルの理論的量子化、接頭辞行列因子分解などの難問にも着手した。また、理論計算科学ベンチマークTCSBenchでは71%の正解率を達成した。 システムエンジニアリング領域では、サイクル精度に準拠したアウト・オ・オーダー処理対応のRISC-V CPUシミュレータをゼロから構築。xv6オペレーティングシステムをシェル起動状態まで正常に動作させることに成功した。物理ハードウェアの基準値に対するサイクル誤差は0.71%に抑えられ、高い再現性を示している。 オープンソース開発面では、基幹ライブラリへの最適化改修を複数取り込んでいる。数値計算ライブラリEigenにはSIMD命令を用いた高速経路が導入され、分散ハッシュテーブルParlayHashではデータ挿入スループットが2倍に向上、メモリ消費量を25%削減するなどの実装が正式マージされた。 グーグルはAntigravity公式ブログで詳細な技術検証結果を公開している。マルチエージェントの自律的協調と高性能言語モデルの組み合わせが、数学的証明からハードウェア設計、オープンソース最適化までを統合的に推進する可能性を示した点で、業界の注目を集めている。