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.
Steurer conjectured in 2010 that any family of $n$ unit vectors with polynomially small average correlation $\mathbb{E}_{i,j}|\langle v_i,v_j\rangle| \le n^{-\varepsilon}$ contains linear-sized constant-separated sets. Refuted in a strong sense, using sparse high-dimensional expanders.
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.
Notable for the setup rather than the model: the authors used GPT-5.5 Pro primarily through an agentic system for long-horizon mathematical research, built by the first author on top of Codex and GPT models, and supplied it with their evolving research notes.
Provider: OpenAI · Prompt public: unknown · Independence: unknown
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.