YC Paper Club 举办 AI Safety 场：两位斯坦福教授讲「如何证明 AI 安全」
ycombinator · x · 2026-10-05
François Chollet 预告下一期 YC Paper Club 主题为「AI Safety」，10 月 7 日周三 5-9pm 于 Mountain View 举行，两位斯坦福教授讲授在 AI 发布前证明其安全性的现代方法与形式化技术：
- Mykel Kochenderfer（斯坦福 AI Safety 中心联合主任）：主导开发了 FAA 新一代飞机防撞系统 ACAS X，现用于美国多数商用飞机；著有《Algorithms for Decision Making》等教材。
- Clark Barrett（斯坦福 AI Safety 中心联合主任）：cvc5 求解器共同创造者，神经网络验证先驱，其求解器广泛用于工业界硬件与软件形式化验证。
「公司和人」频道最新
- Richard Socher 专访上线:谈 Recursive AI 与 You.com — RichardSocher · 2026-10-05
- OpenAI 总裁 Brockman 长谈：人类必须掌控 AI 目标与节奏 — haider1 · 2026-10-05
- 21 家 AI 公司正在招人:Linear、PostHog、fal 等多支持远程 — nateliason · 2026-10-05
- 机器人公司 Foundation 虚报 2400 万美元五角大楼合同,记者遭律师函 — MarwaEldiwiny · 2026-10-05
- Cohere Labs 将办「可信数学 AI」讲座，10 月 5 日线上举行 — Cohere_Labs · 2026-10-05
- 投资人抨击 Anthropic:招股书花 80 页列存在性风险是「科幻式收割」 — StewartalsopIII · 2026-10-05