Seattle Flow Your front door to Seattle's startup scene.
Sign in
Stream Events Podcasts Videos Communities Founder Stack
Matt McIlwain / Madrona

Axiom Math Raises $200M to Build Scalable Formal Verification for AI-Generated Code, Founder Carina Hong Leads Push

Axiom Math, founded by Carina Hong, raised $200 million to build scalable AI code verification using formal mathematical proofs and tools like Lean to ensure provable correctness of AI-generated code.

  • Link
  • Report this item
  • Seattle Flow
  • LinkedIn
  • X
  • Threads
  • Bluesky
Replying to

No comments yet.

Seattle Flow — Your front door to Seattle's startup scene.

Run by Marcelo Calbucci MC
About Manifesto Startup Day 2026 Send us a link Terms of Service Privacy For AI assistants Contact
© 2026 Seattle Flow, a service of The Fold. All rights reserved.

We love feedback!

Sign in or sign up to leave feedback

Who liked this

Edit history

Seattle Flow

Your front door to Seattle's startup scene.

Seattle's startup scene is scattered across a hundred feeds, newsletters, and calendars. Seattle Flow brings it together: the news, events, podcasts, and people, plus what the community is saying about them. Every link sends you to the source.

Writing about a Seattle founder, fund, or startup? We'll help it get seen. Found a great story we missed? Send it in.

We're in beta and building this with the community. Tell us what you want to see here.

Seattle's startup scene, every day. The news, events, podcasts, and people, plus what everyone's saying about them. We're in beta: send us a story or tell us what you want to see.