{
  "company": {
    "name": "Axiom Math",
    "website": "https://axiommath.ai/",
    "record": "https://startuphistory.org/c/axiommath.ai"
  },
  "status": null,
  "history_since": "2025-07-20T19:41:25.000Z",
  "baseline": {
    "snapshot_id": "10dde9d0792ec518e1966f94d6a6cfe82fa57d61700420843f6cf24c240326a2",
    "observed_at": "2025-07-20T19:41:25.000Z",
    "headline": "Launching Soon",
    "description": null,
    "evidence": "https://web.archive.org/web/20250720194125/https://axiommath.ai/",
    "evidence_kind": "internet_archive",
    "facts": null,
    "basis": "first_observation",
    "is_change": false
  },
  "live_captures": 2,
  "last_checked": "2026-11-06T14:26:48.532Z",
  "live_status": null,
  "messaging": [
    {
      "quote_observed_at": "2025-07-20T19:41:25.000Z",
      "variants": [
        {
          "headline": "Launching Soon",
          "subhead": null,
          "observed_at": "2025-07-20T19:41:25.000Z",
          "evidence": "https://web.archive.org/web/20250720194125/https://axiommath.ai/",
          "evidence_kind": "internet_archive"
        }
      ],
      "headline": "Launching Soon",
      "subhead": null,
      "from": "2025-07-20T19:41:25.000Z",
      "to": "2025-07-20T19:41:25.000Z",
      "captures": 1,
      "evidence": "https://web.archive.org/web/20250720194125/https://axiommath.ai/",
      "evidence_kind": "internet_archive",
      "seen": {
        "on": "2025-07-20T19:41:25.000Z"
      },
      "current": false
    },
    {
      "quote_observed_at": "2026-01-03T14:40:27.000Z",
      "variants": [
        {
          "headline": "Axiom's mission is to build a self-improving superintelligent reasoner, starting with an AI mathematician.",
          "subhead": "The starting point for reasoning",
          "observed_at": "2026-01-03T14:40:27.000Z",
          "evidence": "https://web.archive.org/web/20260103144027/https://axiommath.ai/",
          "evidence_kind": "internet_archive"
        }
      ],
      "headline": "Axiom's mission is to build a self-improving superintelligent reasoner, starting with an AI mathematician.",
      "subhead": "The starting point for reasoning",
      "from": "2026-01-03T14:40:27.000Z",
      "to": "2026-01-03T14:40:27.000Z",
      "captures": 1,
      "evidence": "https://web.archive.org/web/20260103144027/https://axiommath.ai/",
      "evidence_kind": "internet_archive",
      "seen": {
        "on": "2026-01-03T14:40:27.000Z"
      },
      "current": false
    },
    {
      "quote_observed_at": "2026-11-06T14:26:48.532Z",
      "variants": [
        {
          "headline": "The Starting Point for Reasoning.",
          "subhead": "The starting point for reasoning",
          "observed_at": "2026-07-09T21:57:53.000Z",
          "evidence": "https://web.archive.org/web/20260709215753/https://axiommath.ai/",
          "evidence_kind": "internet_archive"
        },
        {
          "headline": "The Starting Point for Reasoning.",
          "subhead": "The starting point for reasoning",
          "observed_at": "2026-07-26T01:02:48.000Z",
          "evidence": "https://web.archive.org/web/20260726010248/https://axiommath.ai/",
          "evidence_kind": "internet_archive"
        },
        {
          "headline": "The starting point for reasoning.",
          "subhead": "Axiom builds the formal foundations and tooling that let machines and mathematicians verify proofs and reason about logic — including AXLE, our interactive proof environment.",
          "observed_at": "2026-10-30T19:46:37.000Z",
          "evidence": "https://web.archive.org/web/20261030194637/https://axiommath.ai/",
          "evidence_kind": "internet_archive"
        },
        {
          "headline": "The starting point for reasoning.",
          "subhead": "Axiom builds the formal foundations and tooling that let machines and mathematicians verify proofs and reason about logic — including AXLE, our interactive proof environment.",
          "observed_at": "2026-11-05T11:45:55.650Z",
          "evidence": "https://axiommath.ai/",
          "evidence_kind": "live_capture"
        },
        {
          "headline": "The starting point for reasoning.",
          "subhead": "Axiom builds the formal foundations and tooling that let machines and mathematicians verify proofs and reason about logic — including AXLE, our interactive proof environment.",
          "observed_at": "2026-11-06T14:26:48.532Z",
          "evidence": "https://axiommath.ai/",
          "evidence_kind": "live_capture"
        }
      ],
      "headline": "The starting point for reasoning.",
      "subhead": "Axiom builds the formal foundations and tooling that let machines and mathematicians verify proofs and reason about logic — including AXLE, our interactive proof environment.",
      "from": "2026-07-09T21:57:53.000Z",
      "to": "2026-11-06T14:26:48.532Z",
      "captures": 5,
      "evidence": "https://axiommath.ai/",
      "evidence_kind": "live_capture",
      "seen": {
        "between": {
          "from": "2026-07-09T21:57:53.000Z",
          "to": "2026-11-06T14:26:48.532Z"
        }
      },
      "current": true
    }
  ],
  "changes": [
    {
      "n": 1,
      "id": "page-10dde9d0792ec518e1966f94d6a6cfe82fa57d61700420843f6cf24c240326a2:52744018748f78342a048bd0725592c7103e17dd4bab28278c88c54cb0a1f454:headline:472058cfb3cb7694",
      "before_evidence": "https://web.archive.org/web/20250720194125/https://axiommath.ai/",
      "before_evidence_kind": "internet_archive",
      "kind": "headline",
      "label": "Headline",
      "summary": "Changed its homepage headline from “Launching Soon” to “Axiom's mission is to build a self-improving superintelligent reasoner, starting with an AI mathematician.”.",
      "between": {
        "from": "2025-07-20T19:41:25.000Z",
        "to": "2026-01-03T14:40:27.000Z"
      },
      "evidence": "https://web.archive.org/web/20260103144027/https://axiommath.ai/",
      "evidence_kind": "internet_archive",
      "basis": "page_facts",
      "topic": null
    },
    {
      "n": 2,
      "id": "page-10dde9d0792ec518e1966f94d6a6cfe82fa57d61700420843f6cf24c240326a2:52744018748f78342a048bd0725592c7103e17dd4bab28278c88c54cb0a1f454:hiring:20dd4c09cc4ab0aa",
      "before_evidence": "https://web.archive.org/web/20250720194125/https://axiommath.ai/",
      "before_evidence_kind": "internet_archive",
      "kind": "hiring",
      "label": "Hiring",
      "summary": "Added a careers page.",
      "between": {
        "from": "2025-07-20T19:41:25.000Z",
        "to": "2026-01-03T14:40:27.000Z"
      },
      "evidence": "https://web.archive.org/web/20260103144027/https://axiommath.ai/",
      "evidence_kind": "internet_archive",
      "basis": "page_facts",
      "topic": "https://startuphistory.org/t/added-careers-page"
    },
    {
      "n": 3,
      "id": "page-52744018748f78342a048bd0725592c7103e17dd4bab28278c88c54cb0a1f454:f858129f6805066b58feef4c488545939b4345e3d1b2758cc3e667f5ddc94303:headline:7af83fdcde1b37e2",
      "before_evidence": "https://web.archive.org/web/20260103144027/https://axiommath.ai/",
      "before_evidence_kind": "internet_archive",
      "kind": "headline",
      "label": "Headline",
      "summary": "Changed its homepage headline from “Axiom's mission is to build a self-improving superintelligent reasoner, starting with an AI mathematician.” to “The Starting Point for Reasoning.”.",
      "between": {
        "from": "2026-01-03T14:40:27.000Z",
        "to": "2026-07-09T21:57:53.000Z"
      },
      "evidence": "https://web.archive.org/web/20260709215753/https://axiommath.ai/",
      "evidence_kind": "internet_archive",
      "basis": "page_facts",
      "topic": null
    }
  ],
  "update": null,
  "method": {
    "version": "messaging-v1",
    "description": "https://startuphistory.org/method"
  },
  "license": "CC-BY-4.0",
  "cite": "StartupHistory, “Axiom Math” company record, https://startuphistory.org/c/axiommath.ai"
}