Google Antigravity 多智能体证明 2013 年信息论猜想
ymatias · x · 2026-11-14
Google Research 宣布其 Antigravity 的 /teamwork 多智能体功能（由 Gemini 4 系列模型驱动）在数学、化学与系统软件领域取得多项突破：
- 数学与形式化证明：完整证明并验证了信息论 2013 年的 Courtade–Kumar 猜想（Lean 4 形式化，5000 万行代码），并在量子查询复杂度、动态图算法取得进展，向 Tarjan Deque 猜想迈出近二十年来的首步进展。
- 分子化学：从原始 NMR 数据判定复杂 3D 分子结构，top-1 准确率达 95%，通过组织 30 个专职智能体与物理模拟器自校正循环，几乎翻倍单智能体基准。
- 系统工程：自动化安全 Rust 内核重写、TPU kernel 提速 4 倍、Google 生产集群节省超 1 PiB 内存。
所有预印本与 Lean 4 仓库已公开，并向 1 万名学术研究者开放 6 个月免费使用。
所属事件:谷歌 Antigravity 多智能体连破数学化学开放难题(4 条相关)→
「编程与Agent」频道最新
- agent-browser v0.43 体积缩至 17MB,启动仅 2 毫秒 — cramforce · 2026-11-14
- 95 分钟免费课：Google 工程师拆解 AI Agent 工程全链路 — goyalshaliniuk · 2026-11-14
- LISL 白皮书：本地 12B 模型 9000 token 内跑完 38+ 工作单元 — MammothTreat6751 · 2026-11-14
- AI 生成 10 分钟无对白动画电影：130 个镜头的踩坑全记录 — FrostyMax_ · 2026-11-14
- 花数千美元 AI 推理费，开发者开源 React 版灵动岛组件 islandcn — HankYeomans · 2026-11-14
- LangChain 发布 LangSmith 平台：一键部署 Agent 并 24/7 自动监控修复 — hwchase17 · 2026-11-14