Google、AI協調でクヌースの予想など未解決問題7件を解決 CPU自作・OS起動も
Google は、Gemini 3.7 Flash と連携するエージェントフレームワーク「Antigravity Teamwork」の成果を公開した。自律的なマルチエージェントにより、Lean で検証されたクヌースのサイクル予想を含む 7 件の未解決問題を解決したほか、xv6 OS を起動できる RISC-V CPU シミュレータをゼロから構築した。
Google は、Gemini 3.7 Flash と連携するエージェントフレームワーク「Antigravity Teamwork」の成果を公開した。自律的なマルチエージェントにより、Lean で検証されたクヌースのサイクル予想を含む 7 件の未解決問題を解決したほか、xv6 OS を起動できる RISC-V CPU シミュレータをゼロから構築した。