{
  "declared_links": {
    "economic_signal_ids": [],
    "relation": "topic-surface-only",
    "scan_signal_ids": []
  },
  "dek": "A proof of the codimension-one case of a 1995 conjecture by Etienne Ghys was developed with Intern-S2 over many rounds of dialogue, and a Peking University team formalized it in Lean.",
  "desk": "technology",
  "event_id": "event-ac096a72445e589ae06b75dd",
  "evidence_groups": [
    {
      "group_id": "pandaily-editorial",
      "roles": [
        "media"
      ],
      "source_ids": [
        "pandaily"
      ]
    }
  ],
  "evidence_refs": [
    {
      "independence_group": "pandaily-editorial",
      "item_id": "item-3bc4a36f883e15bb1e9d3df7",
      "published_at": "2026-10-15T07:40:27Z",
      "role": "media",
      "source_id": "pandaily",
      "source_name": "Pandaily",
      "title": "Mathematicians Use Shanghai AI Lab's Intern-S2 to Prove 3D Ghys Conjecture, Verified in Lean",
      "url": "https://pandaily.com/shanghai-ai-lab-intern-s2-ghys-conjecture-proof-human-ai-collaboration-lean-sheaf",
      "version_id": "itemv-48655e68a8f289f2611e05ce"
    }
  ],
  "evidence_strength": "single-source",
  "headline": "Mathematicians Use Shanghai AI Lab's Intern-S2 to Prove 3D Ghys Conjecture, Verified in Lean",
  "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-d80801cc4a096773829dbf9d"
  },
  "published_at": "2026-10-15T07:40:27Z",
  "reported_facts": [
    {
      "attribution": "Pandaily",
      "evidence_item_id": "item-3bc4a36f883e15bb1e9d3df7",
      "published_at": "2026-10-15T07:40:27Z",
      "statement": "Pandaily published “Mathematicians Use Shanghai AI Lab's Intern-S2 to Prove 3D Ghys Conjecture, Verified in Lean”."
    }
  ],
  "topics": [
    "economy",
    "technology"
  ],
  "updated_at": "2026-10-15T07:40:27Z",
  "url": "https://palimpsest.info/news/wire/event-ac096a72445e589ae06b75dd/",
  "version_id": "eventv-d80801cc4a096773829dbf9d"
}