Formal Verification on Miao Konghttps://miaok.ong/en/tags/formal-verification/Recent content in Formal Verification on Miao KongHugoenTue, 09 Jun 2026 00:00:00 +0000The $1 Trillion Bet: Why OpenAI Declared "Chat Is Dead" While Agents Still Need Their HTTPS Momenthttps://miaok.ong/en/posts/openai-ipo-agent-verification/Tue, 09 Jun 2026 00:00:00 +0000https://miaok.ong/en/posts/openai-ipo-agent-verification/<p>On June 8, OpenAI confirmed it had confidentially filed its S-1 with the SEC, targeting a valuation of up to $1 trillion. On the same day, a paper from UIUC appeared on arXiv proposing formal verification for agent workflows. One is pricing the future. The other is inspecting the foundation.</p>