Problem detail · source-aware
VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.
The target-free clique conjecture asserts that the supports of stable fixed points of a nondegenerate combinatorial threshold-linear network are exactly its target-free cliques, the bidirected cliques no outside vertex receives an edge from every member of. An explicit six-neuron counterexample refutes it.
The source statement is reproduced for indexing with attribution. Mathematical correctness requires domain-expert or mechanical review. VibeMath has not independently audited statement fidelity, correctness, priority, or novelty.
The acknowledgement says the systems were used for proof exploration, proof criticism, exposition and revision, with no specific step attributed, so the lowest tier applies.
Provider: OpenAI / Anthropic · Prompt public: unknown · Independence: unknown
The counterexample is a single fixed six-vertex graph with an explicit parameter regime, so the refutation reduces to a finite determinant and clique computation set out in the paper. Single-author arXiv preprint, not yet peer-reviewed.
Correctness: unknown · statement fidelity: unaudited · peer review: none
VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.
Source-reported tools: construction.
Independent: unknown · difference confidence: 0
VibeMath has not independently audited the mathematical statement, proof, or novelty claim.