可验证编程

• AI前沿

  谷歌 Antigravity：推出智能体优先架构，重构异步可验证编程工作流

  谷歌正式发布 AI 编程平台 Antigravity，该平台以 Gemini 3 为核心驱动力，目前已进入公开预览阶段，对 Gemini 3 Pro 的使用设置了 “宽松的调用限额…

  王 浩然

  2025年11月20日

  000