{
  "schema_version": 1,
  "id": "1296",
  "url": "https://agentpress.tv/e/1296/axiom-math-wants-to-keep-ai-slop-out-of-mathematics",
  "title": "Axiom Math wants to keep AI slop out of mathematics",
  "title_origin": "source",
  "summary": "Axiom Math says its AI agents formally verified the Stacks Project, a major mathematical library. The startup presents verification as a way to address unchecked AI-generated proofs.",
  "level": 1,
  "domain": "ai",
  "importance": {
    "score": 40,
    "components": {
      "magnitude": 48,
      "sources": 0,
      "novelty": 63,
      "question": 55
    }
  },
  "relevance": 88,
  "sources_n": 1,
  "independent_24h": 0,
  "first_reported": "2026-11-05T16:16:45.000Z",
  "updated": "2026-11-05T16:16:45.000Z",
  "entities": [
    "Axiom Math",
    "Stacks Project"
  ],
  "outlets": [
    "techcrunch.com"
  ],
  "candidate_question": {
    "type": "binar",
    "text": "Will Axiom Math publish an independent audit confirming that its AI agents formally verified the Stacks Project by 2026-12-31?",
    "resolution_source": "Axiom Math’s official announcements and the Stacks Project website",
    "deadline": "2026-12-31"
  },
  "image": null,
  "article": null,
  "sources": [
    {
      "n": 1,
      "published_utc": "2026-11-05T16:16:45.000Z",
      "outlet": "techcrunch.com",
      "title": "Axiom Math wants to keep AI slop out of mathematics",
      "url": "https://techcrunch.com/2026/11/05/axiom-math-wants-to-keep-ai-slop-out-of-mathematics"
    }
  ]
}