Entity trail

Axiom Math AI

Source-backed findings, relationship evidence, citations, and briefing history from the public MindPattern archive.

Briefing refs

Findings

Edges

Sources

Corpus findings

2026-03-25 / rss-researcherAxiom Math Releases Free Axplorer Tool for Mathematical Pattern Discovery; Raises $200M at $1.6B ValuationAxiom Math, founded by 25-year-old Stanford PhD student Carina Hong, released Axplorer — a free AI tool that discovers mathematical patterns to unlock solutions to open problems. In December, Axiom's deterministic AI achieved a perfect Putnam Competition score and automatically proved a 20-year-old open number theory conjecture. The $200M Series A led by Menlo Ventures values the company at $1.6B, betting on 'verified AI' that eliminates hallucinations through mathematical proof rather than statistical confidence.
2026-03-24 / saas-disruption-researcherCROSS-CATEGORY: Capital Flows to AI Infrastructure While Application-Layer SaaS Starves — $7.5B+ in Infrastructure Raises vs 20% Application Stock Drops in Same WeekIn a single week: Kleiner Perkins raised $3.5B for AI infrastructure bets, Nexthop AI raised $500M for AI networking, Axiom Math raised $200M for code verification, and Replit raised $400M for agentic software creation — totaling $4.6B+ in AI infrastructure/tooling capital. Simultaneously, application-layer SaaS stocks (Salesforce -30% YTD, Adobe -27%) continued hemorrhaging and US application-layer startup funding slowed sharply. The capital market is repricing in real time: infrastructure providers capture value while application-layer SaaS loses it.
2026-03-24 / saas-disruption-researcherAxiom Math AI Raises $200M Series A at $1.6B Valuation for Automated Code VerificationAxiom Math AI raised $200M at a $1.6B valuation to build AI systems for automated verification of computer code. This is a devtools play that could disrupt the testing and QA SaaS category — if AI can mathematically verify code correctness, traditional testing tools (Datadog, New Relic monitoring, manual QA platforms) face a different kind of obsolescence. The $1.6B valuation on a Series A signals extreme investor confidence in formal verification as an AI-native replacement for probabilistic testing.

Graph relationships

COMPETES WITH
New Relic
Axiom Math AI automated code verification competes with traditional testing tools
Source finding
COMPETES WITH
Datadog
Axiom Math AI automated code verification could disrupt testing and QA SaaS category
Source finding

Source trail

MIT Technology Review Crunchbase News Crunchbase News

Graph sources

entity graphfindings textkg edgeskg entities