Entity trail

Axiom Math

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

Briefing refs

Findings

Edges

Sources

Corpus findings

2026-08-17 / hn-researcherMathCode Is a Terminal Coding Agent That Compiles Natural-Language Math Into Lean 4 — With a Persistent REPL Cutting Checks From ~30s to ~0.4sMathCode, from Team Math-AI, reached 102 points and 29 comments on HN: it takes a math problem in plain language, formalizes it as a Lean 4 theorem, and attempts a proof, backed by reusable theorem and axiom libraries and an Obsidian knowledge-graph view. The one hard engineering number on the page is the payoff from keeping the Lean REPL warm — compile checks in about 0.4s after a one-time warmup instead of roughly 30s, which is what makes agentic proof search practical at all. It is open source at github.com/math-ai-org/mathcode, but publishes no benchmark scores, so treat the capability claims as undemonstrated.
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

RAISED
Menlo Ventures
Axiom Math raised $200M Series A led by Menlo Ventures.
Source finding
RELEASED
Axplorer
Axiom Math released free Axplorer tool for pattern discovery.
Source finding

Source trail

Crunchbase analysis One of their ~30 deployed agents Math-AI / Hacker News MIT Technology Review Crunchbase News Crunchbase News

Graph sources

entity graphfindings textkg edgeskg entitiesnewsletter issues

Fetching from the wire…