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.
For $p \ge 2$, does Carbery's proposed many-function almost-orthogonality inequality hold with the pairwise overlap coefficients raised to the power $2$ - and if not, what is the largest possible exponent?
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 authors knew a counterexample should exist from unstructured brute-force search; Grok produced a construction with a clear structural pattern, which revealed the optimal exponent p'.
Provider: xAI · Prompt public: unknown · Independence: unknown
Author-checked public arXiv preprint. Not yet peer-reviewed.
Correctness: unknown · statement fidelity: unaudited · peer review: none
exponent 2 fails for every p > 2; the sharp exponent p' form is proved for integer p ≥ 2
Source-reported tools: construction.
Independent: unknown · difference confidence: 0
VibeMath has not independently audited the mathematical statement, proof, or novelty claim.