#Teamwork

下午10:00AI科研傳播指數 34

Google 智慧體系統破紀錄：解開高德納猜想，從零手寫 CPU 模擬器

Google 宣佈其 Antigravity Teamwork 框架結合 Gemini 3.7 Flash，攻克了包括高德納環猜想在內的 7 個公開難題，並用 Lean 完成形式化驗證。該多智慧體系統還能自主協作數小時，從零寫出 RISC-V CPU 模擬器併成功引導 xv6 作業系統。