{
  "schema_version": "1.0.0",
  "source": "vibemath",
  "problem_id": "vibemathed:weak-simplex-conjecture",
  "title": "The Weak Simplex Conjecture",
  "canonical_statement": "Among $d+1$ equiprobable equal-energy signals in Gaussian noise, is the regular simplex optimal for average error probability? Yes. The underlying comparison is that for any $m \\times m$ correlation matrix $R$ with $R - \\mathbf{1}\\mathbf{1}^{\\mathsf T}/m \\succeq 0$ and $X \\sim \\mathcal{N}(0,R)$, the maximum of the $X_i$ is stochastically dominated by the maximum of $m$ independent standard Gaussians.",
  "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:weak-simplex-conjecture:event",
      "problem_id": "vibemathed:weak-simplex-conjecture",
      "type": "proved",
      "status": "resolved",
      "occurred_at": "2026-07-15T00:00:00.000Z",
      "title": "arXiv:2607.14087 - Stochastic Domination of Gaussian Maxima: A Resolution of the Weak Simplex Conjecture",
      "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_assisted",
      "attempt_ids": [
        "vibemathed:weak-simplex-conjecture:attempt"
      ],
      "method_family_ids": [
        "vibemathed:weak-simplex-conjecture:method"
      ],
      "source_assertion_ids": [
        "vibemathed:weak-simplex-conjecture:assertion"
      ]
    }
  ],
  "attempts": [
    {
      "id": "vibemathed:weak-simplex-conjecture:attempt",
      "problem_id": "vibemathed:weak-simplex-conjecture",
      "model": "GPT-5.6 Pro, GPT-5.6 Sol Max",
      "provider": "OpenAI",
      "attempted_at": "2026-07-15T00:00:00.000Z",
      "human_collaborators": [
        "Abhijeet Mulgund"
      ],
      "exposure": "unknown",
      "prompt_public": null,
      "outcome": "The disclosure says the models were used during the development of the work to assist with mathematical exploration, proof development and checking, literature discovery and organization, and drafting. It attributes no specific step, so the lowest tier applies.",
      "failed_routes": [],
      "artifacts": [],
      "sources": [
        {
          "label": "arXiv:2607.14087 - Stochastic Domination of Gaussian Maxima: A Resolution of the Weak Simplex Conjecture",
          "url": "https://arxiv.org/abs/2607.14087",
          "kind": "primary-mathematical-source",
          "license": null
        },
        {
          "label": "VibeMathed: The Weak Simplex Conjecture",
          "url": "https://vibemathed.com/problem/weak-simplex-conjecture",
          "kind": "source-assertion",
          "license": "https://vibemathed.com/data-license"
        }
      ],
      "cost_usd": null,
      "independence": "unknown"
    }
  ],
  "verifications": [
    {
      "id": "vibemathed:weak-simplex-conjecture:verification",
      "problem_id": "vibemathed:weak-simplex-conjecture",
      "solution_event_id": "vibemathed:weak-simplex-conjecture:event",
      "level": "unreviewed",
      "mathematical_correctness": "unknown",
      "statement_fidelity": "unaudited",
      "peer_review": "none",
      "verifier": "VibeMathed (source-reported label)",
      "verified_at": null,
      "note": "Single-author arXiv preprint; not yet peer-reviewed.",
      "sources": [
        {
          "label": "VibeMathed: The Weak Simplex Conjecture",
          "url": "https://vibemathed.com/problem/weak-simplex-conjecture",
          "kind": "source-assertion",
          "license": "https://vibemathed.com/data-license"
        },
        {
          "label": "arXiv:2607.14087 - Stochastic Domination of Gaussian Maxima: A Resolution of the Weak Simplex Conjecture",
          "url": "https://arxiv.org/abs/2607.14087",
          "kind": "primary-mathematical-source",
          "license": null
        }
      ]
    }
  ],
  "sources": [
    {
      "label": "arXiv:2607.14087 - Stochastic Domination of Gaussian Maxima: A Resolution of the Weak Simplex Conjecture",
      "url": "https://arxiv.org/abs/2607.14087",
      "kind": "primary-mathematical-source",
      "license": null
    },
    {
      "label": "VibeMathed: The Weak Simplex Conjecture",
      "url": "https://vibemathed.com/problem/weak-simplex-conjecture",
      "kind": "source-assertion",
      "license": "https://vibemathed.com/data-license"
    }
  ],
  "recommended_mode": "verify",
  "recommended_exposure": "result_only",
  "opportunity_signals": [
    {
      "id": "vibemathed:weak-simplex-conjecture:signal:watch_only",
      "problem_id": "vibemathed:weak-simplex-conjecture",
      "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"
}