Axiommath Axiom is building an AI reasoning engine for mathematical discovery using formal verification, autoformalization, and proof systems such as Lean.
Cosigns
Team
Jobs
Funding
All fundraising announcements are based on public sources. Please contact Cosign if you believe there are any discrepancies, or claim the profile to edit.
Data current as of March 2026
Leads
Participating Firms
Angels