Welder 论文将在 SOSP 展示，验证集群控制面

2026 年 10 月 1 日，AGI Hunt 报道称，Welder 论文将在 SOSP 大会的 Verification and Formal Methods 分场展示。该工作的目标是验证 Kubernetes 等大规模集群控制平面，报道称这是这一长期目标的第二步。一作 Catoverflow 表示，这是其博士阶段的第一个严肃研究项目，目前 Welder 中已验证的控制器还相对简单。作者还把形式化验证与 AI agent 能力提升联系起来，认为手工构造证明并不有趣。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。