{
  "schema_version": "1.0.0",
  "source": "vibemath",
  "problem_id": "vibemathed:atom-centered-descriptor-completeness",
  "title": "Completeness of Fixed-Order Atom-Centered Descriptors",
  "canonical_statement": "Pozdnyakov, Willatt, Bartók, Ortner, Csányi and Ceriotti showed in 2020 that the 2-, 3- and 4-point correlations of an atomic neighbour density are incomplete: noncongruent environments can share them exactly. Every degeneracy found since was dissolved by going to a higher correlation order, leaving open whether the trispectrum (5-body correlations), or any fixed finite order, separates all noncongruent environments. It does not. There are noncongruent three-dimensional environments agreeing on every cluster of up to seven neighbours, and for each finite correlation order and angular cutoff there are continuous families of noncongruent environments with identical retained features.",
  "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:atom-centered-descriptor-completeness:event",
      "problem_id": "vibemathed:atom-centered-descriptor-completeness",
      "type": "disproved",
      "status": "resolved",
      "occurred_at": "2026-07-29T00:00:00.000Z",
      "title": "arXiv:2607.26984 - Using large language models to probe the limits of atom-centered structural descriptors",
      "summary": "The key ingredients were already in the literature, decades old and in distant fields; what was missing was anyone connecting them to this question.",
      "ai_contribution": "ai_co_developed",
      "attempt_ids": [
        "vibemathed:atom-centered-descriptor-completeness:attempt"
      ],
      "method_family_ids": [
        "vibemathed:atom-centered-descriptor-completeness:method"
      ],
      "source_assertion_ids": [
        "vibemathed:atom-centered-descriptor-completeness:assertion"
      ]
    }
  ],
  "attempts": [
    {
      "id": "vibemathed:atom-centered-descriptor-completeness:attempt",
      "problem_id": "vibemathed:atom-centered-descriptor-completeness",
      "model": "Claude Opus 4.8 and Fable, Codex 5.5 and Sol 5.6",
      "provider": null,
      "attempted_at": "2026-07-29T00:00:00.000Z",
      "human_collaborators": [
        "Michelangelo Domina",
        "Michele Ceriotti"
      ],
      "exposure": "unknown",
      "prompt_public": null,
      "outcome": "The paper is as much about the usage pattern as the result, and says so in its title. The authors had been stuck on these questions for years and could not get past the known Pozdnyakov examples. Coding agents built on Claude (Opus 4.8 and Fable) and Codex (5.5 and Sol 5.6) were given a summary of the field's literature and, across unstructured iteration, produced the degenerate configurations by locating results in unrelated communities and recognising what they implied here, among them the homometric structures studied in musical rhythm theory. The authors verified the constructions manually and with model-generated code, and lifted the cyclic degeneracies to three dimensions themselves. They also ran a reproducibility experiment, eight runs per model under each of two prompt conditions, to test how reliably a query of this kind lands.",
      "failed_routes": [],
      "artifacts": [
        {
          "label": "Pozdnyakov et al., the 2020 paper that posed it",
          "url": "https://arxiv.org/abs/2001.11696",
          "kind": "paper",
          "license": null
        }
      ],
      "sources": [
        {
          "label": "arXiv:2607.26984 - Using large language models to probe the limits of atom-centered structural descriptors",
          "url": "https://arxiv.org/abs/2607.26984",
          "kind": "primary-mathematical-source",
          "license": null
        },
        {
          "label": "VibeMathed: Completeness of Fixed-Order Atom-Centered Descriptors",
          "url": "https://vibemathed.com/problem/atom-centered-descriptor-completeness",
          "kind": "source-assertion",
          "license": "https://vibemathed.com/data-license"
        }
      ],
      "cost_usd": null,
      "independence": "unknown"
    }
  ],
  "verifications": [
    {
      "id": "vibemathed:atom-centered-descriptor-completeness:verification",
      "problem_id": "vibemathed:atom-centered-descriptor-completeness",
      "solution_event_id": "vibemathed:atom-centered-descriptor-completeness:event",
      "level": "unreviewed",
      "mathematical_correctness": "unknown",
      "statement_fidelity": "unaudited",
      "peer_review": "none",
      "verifier": "VibeMathed (source-reported label)",
      "verified_at": null,
      "note": "arXiv preprint, not peer-reviewed. The validation scripts and input structures are promised only on publication, so the constructions cannot yet be re-run from the public record; the authors state they checked them by hand and with model-generated code. The counterexamples are explicit point configurations, so they are checkable once released.",
      "sources": [
        {
          "label": "VibeMathed: Completeness of Fixed-Order Atom-Centered Descriptors",
          "url": "https://vibemathed.com/problem/atom-centered-descriptor-completeness",
          "kind": "source-assertion",
          "license": "https://vibemathed.com/data-license"
        },
        {
          "label": "arXiv:2607.26984 - Using large language models to probe the limits of atom-centered structural descriptors",
          "url": "https://arxiv.org/abs/2607.26984",
          "kind": "primary-mathematical-source",
          "license": null
        }
      ]
    }
  ],
  "sources": [
    {
      "label": "arXiv:2607.26984 - Using large language models to probe the limits of atom-centered structural descriptors",
      "url": "https://arxiv.org/abs/2607.26984",
      "kind": "primary-mathematical-source",
      "license": null
    },
    {
      "label": "VibeMathed: Completeness of Fixed-Order Atom-Centered Descriptors",
      "url": "https://vibemathed.com/problem/atom-centered-descriptor-completeness",
      "kind": "source-assertion",
      "license": "https://vibemathed.com/data-license"
    }
  ],
  "recommended_mode": "verify",
  "recommended_exposure": "result_only",
  "opportunity_signals": [
    {
      "id": "vibemathed:atom-centered-descriptor-completeness:signal:watch_only",
      "problem_id": "vibemathed:atom-centered-descriptor-completeness",
      "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"
}