Google 利用 Gemini 4 解決了數學猜想

Google 研究人員將 Antigravity's /teamwork 多代理系統與 Gemini 4 模型結合，用於解決基礎科學問題。該系統協助證明了資訊理論中一項長期存在的猜想。

在研究過程中，演算法成功證明了 2013 年提出的 Courtade–Kumar 猜想。此外，該系統還解決了優化、量子計算和演算法領域中的一系列開放性問題。

此專案展示了多代理工作流程在進行複雜科學研究及解決以往被認為自動化系統無法處理的問題時的實際效能。