{
  "declared_links": {
    "economic_signal_ids": [],
    "relation": "topic-surface-only",
    "scan_signal_ids": []
  },
  "dek": "Tsinghua and Zhejiang University's Algebraic World Model learns ARC-AGI-3 game rules, formalizes them in Lean 4 and proved all six sealed levels unwinnable, where frontier models failed.",
  "desk": "technology",
  "event_id": "event-9e5a5d88f6a98e94ea82e18b",
  "evidence_groups": [
    {
      "group_id": "pandaily-editorial",
      "roles": [
        "media"
      ],
      "source_ids": [
        "pandaily"
      ]
    }
  ],
  "evidence_refs": [
    {
      "independence_group": "pandaily-editorial",
      "item_id": "item-92f07036a43ff30ce22eff15",
      "published_at": "2026-11-03T02:07:55Z",
      "role": "media",
      "source_id": "pandaily",
      "source_name": "Pandaily",
      "title": "Tsinghua's Algebraic World Model Proves ARC-AGI-3 Levels Unwinnable With Lean 4",
      "url": "https://pandaily.com/tsinghua-algebraic-world-model-awm-arc-agi-3-lean-4-proofs-andrew-yao",
      "version_id": "itemv-bf6a1f63ce60eceea04c5392"
    }
  ],
  "evidence_strength": "single-source",
  "headline": "Tsinghua's Algebraic World Model Proves ARC-AGI-3 Levels Unwinnable With Lean 4",
  "lead": false,
  "lead_reason": "Current single-source metadata is retained but not promoted as a lead.",
  "limitations": [
    "Palimpsest retained only feed title, canonical link, time, and a bounded plain-text excerpt; it did not fetch the article body.",
    "The evidence-strength label describes source structure, not truth, intent, impact, or causation.",
    "Declared instrument links are topical pointers until a separate scan or economic observation is joined by time and method.",
    "Title-similarity clustering can miss differently worded or cross-language accounts and can join closely worded updates.",
    "This dossier currently contains one independent evidence group and remains explicitly attributed."
  ],
  "mutation": {
    "kind": "unchanged",
    "previous_version_id": "eventv-e83296c3dfc4958c52fbf793"
  },
  "published_at": "2026-11-03T02:07:55Z",
  "reported_facts": [
    {
      "attribution": "Pandaily",
      "evidence_item_id": "item-92f07036a43ff30ce22eff15",
      "published_at": "2026-11-03T02:07:55Z",
      "statement": "Pandaily published “Tsinghua's Algebraic World Model Proves ARC-AGI-3 Levels Unwinnable With Lean 4”."
    }
  ],
  "topics": [
    "economy",
    "policy",
    "technology"
  ],
  "updated_at": "2026-11-03T02:07:55Z",
  "url": "https://palimpsest.info/news/wire/event-9e5a5d88f6a98e94ea82e18b/",
  "version_id": "eventv-e83296c3dfc4958c52fbf793"
}