Axiom
axiommath.ai
Actively hiring
AI Development Tools
Machine Learning
As featured in
View 1 job
Follow
Overview
News
Technologies
Salaries
Products
People
Growth
Offices
Jobs
Financials
Funding and backers
Hiring now
2
+1 posted in 30 days
Backers
7
Greycroft, E14 Fund
Momentum
38/100
hiring for its size, a new city, in the news
Last sign of life
this month
a posting or a news item
The story so fareach stage dated by its source: the company's releases, the press, registers, filings
2025
Founded
Tractionpublic signals, read monthly
Web presence
top 3%
of 133.2M domains by links, Common Crawl
Hacker News stories
6
best: 29 points
Backed byfrom the funds' portfolios and accelerator catalogs
Greycroft 
E14 Fund 
Frontline 
Madrona 
Menlo Ventures 
Toyota Ventures Investors in similar startupsfunds that back the companies most like this one
Similar startupsby what they do, their industry and backers
NeoSigma is an artificial intelligence infrastructure company focused on self-improving agentic systems. Built by research and engineering…
Ability.ai is an applied AI lab for sovereign agentic systems: Cornelius, the self-improving cognitive core, and Trinity, the open-source…
Desktop Commander gives ChatGPT and Claude access to your computer, so they read your files, run commands, and see the results themselves…
Imandra is a suite of AI tools based on groundbreaking automated reasoning and formal verification technology. the algorithms you create…
Softmax is an AI research company studying alignment through multiplayer environments where humans and coding agents compete and cooperate…
Poetiq is an AI research company building a self-optimizing system for reasoning, treating the language model as one component alongside…
Overview
Axiom is a research company building an artificial intelligence system for mathematics that can prove theorems and generate new results rather than only assist a human mathematician. Its work combines formal verification, proof search and reinforcement learning over symbolic reasoning, with the goal of a self improving mathematical reasoner. The laboratory was founded by researchers who see mathematics as the cleanest testbed for verifiable machine reasoning; its long term target is mathematics that machines can verify end to end without human checking.
News
Flex CEO Revathi Advaithi on Axiom spinoff: Our focus is deploying power in the most efficient way possible
Flex CEO and Axiom expected CEO Revathi Advaithi joins 'Squawk Box' to discuss details of the new cloud & power infrastructure spinoff company Axiom, company growth outlook, pushback on data centers, and more.
Read more
Report
Can You Invest in Axiom Space in 2026?
Axiom Space seeks to expand the human presence in space by building commercial modules for the International Space Station.
Read more
Report
AxiomProver Formalizes the BGP246 Bounded Prime-Gap Theorem in Lean
Carina Hong and Axiom Math announce an AxiomProver-produced Lean 4 formalization of the BGP246 theorem that prime gaps of at most 246 occur infinitely often; the public repository separates theory and numerical certificates and formalizes the existing bes
Read more
Report
AI-Generated Math Proof Hints at a Path to Safer Automated Code
Future versions could verify correctness of AI-generated code
Read more
Report
Beyond Horizon Analysis: Axiom Space - The First Orbital Real Estate Platform
Axiom Space isn't building a space station. It's building the first private city-state in orbit - and that's a fundamentally different category of problem.
Read more
Report
Axiom - The Starting Point for Reasoning.
In the hardest window for lattice triangles, a density-1 result rules out almost every candidate.
Read more
Report
Report
Scaling Past Informal AI - Carina Hong, Axiom Math
Verified Generation and Compounding Intelligence
Read more
Report
Exclusive: Economists have been teaching an unproven proof for 50 years. AI just solved it
Axiom Math, a $1.6B AI unicorn, is building a formally verified library of economic theorems - and already found gaps in the foundations of antitrust law.
Read more
Report
Show more news
Tech stack
Technologies named in job postings at Axiom over the last 12 months, by layer, with the share of postings for each.
Technologies in use
7
Postings analysed
2
Stack modernity
79/100
Languages
Python
Frameworks & libraries
JAX
PyTorch
TensorFlow
Practices & domains
AI Agents
Machine Learning
Reinforcement Learning
Sign in to see how your skills match this stack
Sign In
Growth
Hiring Momentum
89/100
Scaling fast
Open positions
2
1 opened / 0 closed in 30 days
ATS activity
Every ~4 hours
Today
Hiring Dynamics
+100%
Hiring Focus
The percentage next to each role is its share of the company's job openings over the last 90 days; the arrow shows the shift versus the previous period.
Early Careers
100% ▲
Activity Timeline
Added AI Agents to stack
Oct 2026
New location: Portland
Sep 2026
New location: London
Sep 2026
Added Machine Learning to stack
Sep 2026
Offices
Where the company hires and what each office is for
Cities
4
Hiring now
3
Countries
2
Busiest office
Palo Alto
Loading the map
Headquarters
Builds here
Office with open vacancies
No open vacancies right now Tap a pin for the office
San Francisco
United States
HQ
Palo Alto
United States
2 open roles 1 posted in 90 days 50% engineering
hires for AI/ML, Early Careers
124 University Avenue, Floor 2
London
United Kingdom
Engineering / R&D
1 open roles 100% engineering
hires for AI/ML
124 University Avenue, Floor 2
Portland
United States
1 open roles 100% engineering
hires for AI/ML
Jobs
≈ $194k – $397k per year (Estimated) • In office • Full-Time • Palo Alto • London • Portland
Python
Reinforcement Learning
JAX
TensorFlow
PyTorch
Machine Learning
Apply