Google AI Infra 智能体研究团队招聘，研究内核优化与可验证推理
VioletNPeng · x · 2026-10-15
Google AI and Infrastructure 下属的 AIS（Agents for AI-Infra and Science）团队负责人 Violet Peng 发文招聘全职与实习生。团队方向包括：用多智能体框架做代码重写与优化（内核优化、动态作业调度、仓库级代码优化）、可验证推理与代码生成（形式化验证、数学物理定理证明）、面向长程智能体任务的省内存模型与后训练技术，目标是同时优化机器学习基础设施栈与加速基础科学发现。代表研究包括用智能体框架增强 LLM 形式化数学的 Leap。
「编程与Agent」频道最新
- Epic 晒 vibe code 加速器，反被 Community Notes 提醒安全风险 — mark_k · 2026-10-15
- Reddit 网友上线共享 playbook 的 MCP server，agent 可互报结果自动回滚 — L3gitCake · 2026-10-15
- OpenAI Amp 语音助手 Puck 上线，配 GPT-6 Astra 测试 Ultrafast 模式 — Codeblix_Ltd · 2026-10-15
- 56% 美国旅行者已用 AI 规划行程,代理式旅游成新分销渠道 — robertonappe · 2026-10-15
- 2026 年 AI+数据人差异化打法:RAG+Agent 搭决策建议机 — mdancho84 · 2026-10-15
- Amazon 封禁 Meta 购物 agent Muse,代理式商务入口之争开打 — robertonappe · 2026-10-15