📰 Google Research 公布 Antigravity /teamwork 多智能体成果：与学界合作完整证明 2013 年 Courtade–Kumar 猜想（5000 万行 Lean 4），自主形式化 Weil…

11 月 13 日，Google Fellow、Google Research 副总裁 Vahab Mirrokni 在 Google Research 博客和 X 上公布 Antigravity /teamwork 多智能体系统的新成果。

💬 你怎么看？欢迎在评论区讨论。