前 ARIA 项目主管 Nora Ammann 加盟 OpenAI Foundation 任形式化方法总监
woj_zaremba · x · 2026-11-02
OpenAI 联合创始人 Wojciech Zaremba 宣布，Nora Ammann 加入 OpenAI Foundation，担任形式化方法（Formal Methods）项目总监。
- Zaremba 认为，随着 AI 能力增强，用 AI 强化关键系统的网络安全将成为机会，而形式化方法是把这一机会变为现实的关键能力，目标是让网络防御占得上风。
- Nora Ammann 此前在 ARIA 负责 Safeguarded AI 计划——该计划通过对 AI 安全的大胆早期押注在该领域处于领先地位，她将把相关经验带入 OpenAI Foundation。
「公司和人」频道最新
- Anthropic S-1 曝营收单季翻倍至 168 亿美元，Gemini 4 Carbon 登顶第一 — altryne · 2026-11-03
- Meta Muse 深耕 SMB:5 亿商家入口，25% 用户已用 Agent 完成购物 — omooretweets · 2026-11-03
- 《图解 LLM》全书代码仓库免费开放:12 章 Notebook 全部可在线运行 — mdancho84 · 2026-11-03
- Anthropic 营收增长 12 倍，运营亏损仍达 230 亿美元 — The Decoder · 2026-11-03
- Anthropic 更新扩展政策：AI 自动研发能力阈值或即将触发 — wfithian · 2026-11-03
- 开发者热议：Anthropic 是真有底气还是「喝了自己的迷魂汤」 — daniel_mac8 · 2026-11-03