硬是要學Google Antigravity 推出 /teamwork：多個 Gemini 4 代理人合作，證明 Courtade–Kumar 猜想並完成韋伊猜想形式化
作者 手哥 HANDBRO全文約 2,003 字
文章摘要
硬是要學 · 文章頁摘要Google 推出的 Antigravity /teamwork 讓多個 Gemini 4 代理人分工合作，把研究與工程任務拆成可驗證的小步驟。Google 研究院在 11 月 13 日公布成果：團隊用它證明了 2013 年提出的 Courtade–Kumar 猜想，並自動完成韋伊猜想約 180 萬行的
Google 推出的 / 讓多個 代理人分工合作，把研究與工程任務拆成可驗證的小步驟。Google 研究院在 11 月 13 日公布成果：團隊用它證明了 2013 年提出的 Courtade–Kumar 猜想，並自動完成韋伊猜想約 180 萬行的 Lean 形式化，現在 Antigravity 使用...