Ida Girma ✨

Axiom launched six months ago with one conviction: mathematics is the right foundation for building systems that reason. Today we announce Axiom's Series A. We raised $200M at a $1.6B+ valuation, led by @MenloVentures, to extend our lead in formal mathematics into Verified AI.

Excited to announce Axiom’s Series A. We raised $200 million fresh capital at a $1.6 billion+ valuation in a round led by Menlo Ventures to accelerate our strong execution momentum — extending our lead in formal math into Verified AI. Mathematicians and theoretical scientists dream up theories, formulate hypotheses. They then come up with proofs, a two-step process of discovery. We created Axiom to turn the sparks of curiosity into known truths - and to compress the timeline of breakthroughs. The Verified AI dream is a generalization of this dream. It is more than providing safeguards for mission-critical systems. This same gap between expert intuitions and the machinery needed for grounding exists today in any domain where the generation-verification iteration loop can be tighter. And yes, software eats the world, recursive self-improvement is a near sight. Verified AI is not about hallucinations, what’s lousy; instead, it’s about superintelligence, the brilliant. We work on Verified AI not due to a distrust in technology, but rather, we think the rapid advances of AI compels it. I’m grateful to work with and learn from the best team in the world. It’s not an easy journey, but climbing with you is what makes it worth it. And can’t wait to build with a more accelerated speed - nod to @shubho for grounding an ambitious vision in relentless execution everyday. This round was led by @mkraning with @CCgong. Thanks also to existing investors who doubled down for your conviction since the start (@jturow, @mattmcilwain of @MadronaVentures; @marcievu of @greycroftvc; @yanda, @IdaGirma, @nickgiometti of @BCapitalGroup; @ChrisAbshire_ of @Toyota_Ventures; @xtzhou, @jhuber of @TriatomicCap) and the new firms who we got to meet through the process.

The real story of the Citrini memo that shook the markets this week isn’t the 24‑month collapse scenario it predicts. It's the structural shift underneath. In our new piece, The AI Labor Crisis Isn’t Coming in 2028. The Investment Opportunity Is Here Now, @yanda, General Partner, B Capital, and @rajganguly_, Co-Founder and Co-CEO, B Capital, argue that AI coworkers landing inside white-collar workflows is the first fault line of a broader transformation that is inevitable, but not apocalyptic. The Citrini piece overshoots on timeline, assuming quicker enterprise adoption and inert policy response. And it misses the massive investment opportunity that's happening right now. Read more about where we think durable value is likely to accrue in our response: b.capital/insights/the-a…

Proud to back CodeMetal at @BCapitalGroup. They translate code across languages and hardware with formal verification for defense, aerospace, and regulated industries. The trust layer that makes AI deployable where failure isn't an option. wired.com/story/vibe-cod…