Conjecture relation graph

225 relations between 293 conjectures (101 connected components). Arrows read "source true ⇒ target true". Drag to pan, scroll to zoom, drag nodes to untangle; click a node to open its page, click an edge for the referee argument. Relations were confirmed by adversarial AI review, not formally verified (no Rocq/Lean) — see RELATIONS.md.

Cross-checking every edge against the two endpoints' review statuses: 42 implications are vacuous (the target is already a theorem, or the source is already disproved), 4 implications are to verify (a solved source or a disproved target would settle the other endpoint, but the implication is only AI-checked and must be formally verified or peer reviewed first) and 1 are inconsistent (an equivalence or duplicate whose endpoints have different statuses). Flagged edges are drawn faintly; click one for the details.