Skip to content

Wire Briefings Search

Fetching from the wire…

01

02

03

04

05

06

07

08

Wire Briefings Search

Entity trail

Axplorer

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

Briefing refs

0

Findings

1

Edges

2

Sources

1

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.

Graph relationships

RELEASED
Axiom Math
Axiom Math released free Axplorer tool for pattern discovery.
Source finding
RELEASED
Axiom Math -> Axplorer
Axiom Math released free Axplorer tool for pattern discovery.
Source finding

Source trail

MIT Technology Review

Graph sources

entity graphfindings textkg edgeskg entities