https://miaok.ong/tags/%E5%BD%A2%E5%BC%8F%E5%8C%96%E9%AA%8C%E8%AF%81/Recent content in 形式化验证 on Miao KongHugozhTue, 09 Jun 2026 00:00:00 +0000https://miaok.ong/posts/openai-ipo-agent-verification/Tue, 09 Jun 2026 00:00:00 +0000https://miaok.ong/posts/openai-ipo-agent-verification/<p>6 月 9 日，两个信号几乎同时落地：OpenAI 确认已向 SEC 秘密提交 S-1 文件，目标估值最高可达一万亿美元；UIUC 的一篇新论文 Lean4Agent 把形式化验证搬进了 Agent 工作流。一个在向资本市场定调&quot;Agent 就是未来&quot;，一个在追问&quot;你能证明它做对吗&quot;——这两个问题的答案，可能决定 AI 产业接下来十年的走向。</p>