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.
Is the depth of the mod-$p$ cohomology ring of every finite group realized as the dimension of one of its associated primes? For $G = \operatorname{SmallGroup}(128, 859)$ over $\overline{\mathbb{F}}_2$ the ring has depth $2$ while every associated-prime quotient has dimension at least $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.
The candidate group was found by the TARS agent system (foundation model not disclosed); the counterexample is certified by exact GAP/Singular computations audited by the human authors.
Provider: unknown · Prompt public: unknown · Independence: unknown
Exact computational certificate (verifier and certificates ship with the paper, checkable with the Python standard library alone) plus a human proof audit. 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.