Axiom, a fast-rising artificial intelligence startup focused on building an AI-powered mathematician, is raising a new funding round led by Menlo Ventures at a valuation of $1.5 billion, according to people familiar with the matter.
The company is developing advanced AI systems designed to reason through complex mathematical problems step by step, moving beyond pattern recognition toward true logical and symbolic reasoning. Unlike conventional large language models that often approximate answers, Axiom’s technology aims to deliver mathematically rigorous proofs and verifiable solutions—capabilities seen as critical for the next phase of AI development.
Investors see strong potential for Axiom’s approach across research, engineering, finance, cryptography, and scientific computing, where mathematical accuracy is non-negotiable. The startup’s work also aligns with a broader industry push toward “reasoning-first” AI models that can support high-stakes decision-making rather than just generate fluent text.
Menlo Ventures’ backing signals growing investor confidence in deep-tech AI companies focused on foundational capabilities instead of consumer-facing applications alone. The fresh capital is expected to accelerate Axiom’s research efforts, expand its technical team, and scale its computing infrastructure.
As competition intensifies among AI labs racing to build more reliable and trustworthy systems, Axiom’s focus on mathematical intelligence positions it as a notable player in the evolving AI landscape.
See What’s Next in Tech With the Fast Forward Newsletter
Tweets From @varindiamag
Nothing to see here - yet
When they Tweet, their Tweets will show up here.
