ARIA 研究员 Ammann Nora 跳槽 OpenAI 基金会,出任形式化方法项目总监
davidmanheim · x · 2026-10-30
在 ARIA Research 工作两年后,Nora Ammann 宣布加入 OpenAI 基金会(FoundationOAI),担任形式化方法(Formal Methods)项目总监。转发者 davidmanheim 认为这是 OpenAI 基金会把资金投向真正重要事情的又一个信号,与早期的一些迹象相反,并期待此事尽快落地。
「公司和人」频道最新
- PyTorch 推出官方认证 PTCA,面向早期从业者考核模型设计训练部署 — PyTorch · 2026-10-30
- 百度世界 11 月 12 日开幕,6000 平米展区展示 DuMate、Kooko 等全栈 AI — Baidu_Inc · 2026-10-30
- 帖主调侃:情报机构盯上 Jensen、Sam、Dario、马斯克才是常态 — rickasaurus · 2026-10-30
- DoorDash 披露:AI agent 下单仅「数百单」,但对第三方开放 — TechCrunch AI · 2026-10-30
- Aaron Levie 与 Ethan Mollick:前沿用户与普通人的 AI 差距正越拉越大 — mhmazur · 2026-10-30
- Mike King 谈 GEO vs SEO：聊天机器人不只读你的网站，还读全网怎么评价你 — VeryWellVersed · 2026-10-30