#Teamwork

22:00AI科研传播指数 34

Google 智能体系统破纪录：解开高德纳猜想，从零手写 CPU 模拟器

Google 宣布其 Antigravity Teamwork 框架结合 Gemini 3.7 Flash，攻克了包括高德纳环猜想在内的 7 个公开难题，并用 Lean 完成形式化验证。该多智能体系统还能自主协作数小时，从零写出 RISC-V CPU 模拟器并成功引导 xv6 操作系统。