🧮 GoogleのAIエージェントチームが、2013年から未解決だった数学の難問をついに解決

Googleによると、Gemini 4モデルがAntigravityの/teamworkでAIエージェントのチームとして動作し、CUHK、USC、CMUの研究者とともに、情報理論におけるCourtade–Kumar予想の証明に貢献しました。証明全体は、Leanコード5000万行を使ってコンピューターで検証されました。また、別のエージェントシステムは、数学の画期的な成果であるヴェイユ予想を、約180万行のコードと2万8800回のサブエージェント実行を経て、完全自律的に形式化しました。Googleは現在、1万人の学術研究者に、最上位の利用枠を6か月間無料で提供しています。

⭐ AIは宿題に答えるだけでなく、実際の未解決問題の解決を支援する段階へと進んでおり、科学者たちは自ら試せるようになりました。

#AI