The Anstee-Sali Conjecture on Forbidden Configurations
resolvedconfidence 70%
VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.
Precise statement
For a forbidden configuration $F$, the Anstee-Sali conjecture predicts that $\mathrm{forb}(m, F)$ is $\Theta\left(m^{X(F)-1}\right)$, where $X(F)$ comes from an explicit product construction. Disproved: the 4-uniform family on six vertices formed by a two-vertex core joined to the edges of a 4-cycle has $X(F) = 4$, so the conjecture predicts $\Theta(m^3)$, while a random-alteration argument gives $\Omega(m^{\frac{10}{3}})$.
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.
What AI did
GPT-5.6 Sol
The abstract ends "The example was found by GPT-5.6 Sol", and a dedicated disclosure section repeats it: "The authors used GPT-5.6 Sol for finding the example. The authors reviewed and revised all outputs, verified results, and take full responsibility for the final manuscript."
VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.
Known method families
construction (source-reported)
Source-reported tools: construction.
Independent: unknown · difference confidence: 0
What remains uncertain
VibeMath has not independently audited the mathematical statement, proof, or novelty claim.
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.