StartupHistory

An open directory of startups through time

Public records · dated sources
Free to read. Free to reuse.

Company records / axiommath.ai

Axiom Math

Axiom Math (axiommath.ai): 3 changes recorded in its website history since July 2025. Homepage last checked 6 November 2026.

Recorded changes

Newest observations first. Each interval bounds when the website changed; it is not an exact event date.

  1. HeadlineBetween and
    BeforeAxiom's mission is to build a self-improving superintelligent reasoner, starting with an AI mathematician.
    AfterThe Starting Point for Reasoning.

    Observed on the company’s website; business claims are not independently verified.

    earlier archived pagelater archived pageLink to observation
  2. HiringBetween and

    Added a careers page.

    Observed on the company’s website; business claims are not independently verified.

    earlier archived pagelater archived pageLink to observation
  3. HeadlineBetween and
    BeforeLaunching Soon
    AfterAxiom's mission is to build a self-improving superintelligent reasoner, starting with an AI mathematician.

    Observed on the company’s website; business claims are not independently verified.

    earlier archived pagelater archived pageLink to observation

First recorded website

Observed 20 July 2025

Our earliest capture with readable facts. This is our first observation, not when the company introduced these things. These website claims are not independently verified.

How it described itself

Launching Soon

archived pageLink to first observation

All facts above belong to this capture. Unlisted fields mean we have no readable observation, not that they were absent.

How it describes itself

Similar headlines are grouped together. The quote shown is from the last capture in each group, not necessarily the exact wording throughout that period.

  1. July 2026 – November 2026 · 5 captures · latest observed messagingThe starting point for reasoning.

    Axiom builds the formal foundations and tooling that let machines and mathematicians verify proofs and reason about logic — including AXLE, our interactive proof environment.

    This wording observed 6 November 2026.

    current websiteHistorical capture not publicly available
    Inspect 5 captures in this group
    • 9 July 2026 · The Starting Point for Reasoning. archived page
    • 26 July 2026 · The Starting Point for Reasoning. archived page
    • 30 October 2026 · The starting point for reasoning. archived page
    • 5 November 2026 · The starting point for reasoning. current websiteHistorical capture not publicly available
    • 6 November 2026 · The starting point for reasoning. current websiteHistorical capture not publicly available
  2. Seen January 2026 · 1 captureAxiom's mission is to build a self-improving superintelligent reasoner, starting with an AI mathematician.

    The starting point for reasoning

    This wording observed 3 January 2026.

    archived page
  3. Seen July 2025 · 1 captureLaunching Soon

    This wording observed 20 July 2025.

    archived page

Cite this record

StartupHistory, “Axiom Math” company record, https://startuphistory.org/c/axiommath.ai

Machine-readable: /c/axiommath.ai.json. How changes are found: method.