{
  "schema_version": "1.0.0",
  "source": "vibemath",
  "problem_id": "vibemathed:howson-not-strongly-howson",
  "title": "Zhang's Question on Howson and Strongly Howson Groups",
  "canonical_statement": "A group is Howson if the intersection of any two finitely generated subgroups is finitely generated, and strongly Howson if the rank of that intersection is bounded in terms of the two ranks. Zhang asked whether the two coincide for finitely generated groups. They do not.",
  "plain_summary": "VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.",
  "current_status": "resolved",
  "solution_events": [
    {
      "id": "vibemathed:howson-not-strongly-howson:event",
      "problem_id": "vibemathed:howson-not-strongly-howson",
      "type": "disproved",
      "status": "resolved",
      "occurred_at": "2026-05-29T00:00:00.000Z",
      "title": "arXiv:2605.30840 - Finitely generated Howson groups which are not strongly Howson",
      "summary": "VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.",
      "ai_contribution": "ai_co_developed",
      "attempt_ids": [
        "vibemathed:howson-not-strongly-howson:attempt"
      ],
      "method_family_ids": [
        "vibemathed:howson-not-strongly-howson:method"
      ],
      "source_assertion_ids": [
        "vibemathed:howson-not-strongly-howson:assertion"
      ]
    }
  ],
  "attempts": [
    {
      "id": "vibemathed:howson-not-strongly-howson:attempt",
      "problem_id": "vibemathed:howson-not-strongly-howson",
      "model": "ChatGPT",
      "provider": "OpenAI",
      "attempted_at": "2026-05-29T00:00:00.000Z",
      "human_collaborators": [
        "Ke Wang",
        "Qiang Zhang"
      ],
      "exposure": "unknown",
      "prompt_public": null,
      "outcome": "The disclosure credits ChatGPT with constructing the example in Section 2, which is the separating example the paper turns on, while stating the proofs are the authors'.",
      "failed_routes": [],
      "artifacts": [],
      "sources": [
        {
          "label": "arXiv:2605.30840 - Finitely generated Howson groups which are not strongly Howson",
          "url": "https://arxiv.org/abs/2605.30840",
          "kind": "primary-mathematical-source",
          "license": null
        },
        {
          "label": "VibeMathed: Zhang's Question on Howson and Strongly Howson Groups",
          "url": "https://vibemathed.com/problem/howson-not-strongly-howson",
          "kind": "source-assertion",
          "license": "https://vibemathed.com/data-license"
        }
      ],
      "cost_usd": null,
      "independence": "unknown"
    }
  ],
  "verifications": [
    {
      "id": "vibemathed:howson-not-strongly-howson:verification",
      "problem_id": "vibemathed:howson-not-strongly-howson",
      "solution_event_id": "vibemathed:howson-not-strongly-howson:event",
      "level": "unreviewed",
      "mathematical_correctness": "unknown",
      "statement_fidelity": "unaudited",
      "peer_review": "none",
      "verifier": "VibeMathed (source-reported label)",
      "verified_at": null,
      "note": "arXiv preprint; not yet peer-reviewed.",
      "sources": [
        {
          "label": "VibeMathed: Zhang's Question on Howson and Strongly Howson Groups",
          "url": "https://vibemathed.com/problem/howson-not-strongly-howson",
          "kind": "source-assertion",
          "license": "https://vibemathed.com/data-license"
        },
        {
          "label": "arXiv:2605.30840 - Finitely generated Howson groups which are not strongly Howson",
          "url": "https://arxiv.org/abs/2605.30840",
          "kind": "primary-mathematical-source",
          "license": null
        }
      ]
    }
  ],
  "sources": [
    {
      "label": "arXiv:2605.30840 - Finitely generated Howson groups which are not strongly Howson",
      "url": "https://arxiv.org/abs/2605.30840",
      "kind": "primary-mathematical-source",
      "license": null
    },
    {
      "label": "VibeMathed: Zhang's Question on Howson and Strongly Howson Groups",
      "url": "https://vibemathed.com/problem/howson-not-strongly-howson",
      "kind": "source-assertion",
      "license": "https://vibemathed.com/data-license"
    }
  ],
  "recommended_mode": "verify",
  "recommended_exposure": "result_only",
  "opportunity_signals": [
    {
      "id": "vibemathed:howson-not-strongly-howson:signal:watch_only",
      "problem_id": "vibemathed:howson-not-strongly-howson",
      "kind": "watch_only",
      "reason": "Current public evidence does not meet the default replay threshold.",
      "generated_at": "2026-09-13T16:28:40.178Z"
    }
  ],
  "uncertainties": [
    "VibeMath has not independently verified the mathematical claim.",
    "AI-attempt independence and training-data exposure are unknown unless explicitly documented.",
    "VibeMath has not independently audited the mathematical statement, proof, or novelty claim."
  ],
  "generated_at": "2026-09-13T16:28:40.178Z"
}