Jane Street 态度大转弯：因智能体编码开始重视形式化方法
PtrPomorski · x · 2026-08-20
Jane Street 技术高管 Yaron Minsky 撰文称，公司过去 25 年一直认为形式化验证成本过高而不感兴趣。但随着智能体编码的兴起，公司态度发生转变，现在正组建团队，希望让形式化方法像类型系统一样成为构建软件的普遍工具。
「公司和人」频道最新
- 高管热议 AI 转型：领导者需重回一线实操 — garrytan · 2026-08-20
- General Catalyst 收购医院，构建 AI 原生医疗操作系统 — joecole · 2026-08-20
- Wayve 联创在旧金山分享构建更好机器人的逆向思维 — alexgkendall · 2026-08-20
- NSF 推出 CyberAI 项目，14 所大学入选培养安全人才 — keviv9 · 2026-08-20
- OpenAI 全网宕机：ChatGPT 登录注册已中断 14 分钟 — HaktanSuren · 2026-08-20
- 机器人创业不应盲目卷算力与数据规模 — DJiafei · 2026-08-20