前 Galois 员工创立 Oath Tech，专注形式化方法 AI 监督
JacquesThibs · x · 2026-08-27
Mike（原任职于 @galois）宣布离职并创立了新公司 Oath Technologies（@oathtech）。该公司是一家 FRO（Frontier Research Organization），致力于通过形式化方法（formal methods）来进行 AI 监督（AI oversight）。
「公司和人」频道最新
- 三年 AI 构建经验总结：开发者观点 — labeveryday · 2026-08-27
- PeriodicLabs 用 Kimi 降低推理成本 50 倍 — LiamFedus · 2026-08-27
- 纽约布朗克斯高中生举办 AI 开发大赛，支持社区商业 — ziv_ravid · 2026-08-27
- 谷歌将 90 人 AI 责任小组迁出 DeepMind — rohanpaul_ai · 2026-08-27
- 没人比创始人更在乎你的创业公司 — zebird0 · 2026-08-27
- 别用 AI 重建 2003 式 SOC：上下文与失败模式 — HankYeomans · 2026-08-27