Problem detail · source-aware
VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.
Reiner conjectured a description of the homotopy types of intervals in higher Bruhat orders. In corank $3$ it holds: the facial intervals of $B(n,n-3)$ are exactly the spherical intervals, and every other interval is contractible.
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 AI use declaration lists the model as search engine, proof assistant, vector graphics artist and editor, and states that all outputs of the proof assistant were thoroughly digested by a human and that the exposition is by and for humans.
Provider: OpenAI · Prompt public: unknown · Independence: unknown
Single-author arXiv note; not yet peer-reviewed.
Correctness: unknown · statement fidelity: unaudited · peer review: none
corank 3; the general conjecture remains open, corank 2 being McConville's case
Source-reported tools: argument.
Independent: unknown · difference confidence: 0
VibeMath has not independently audited the mathematical statement, proof, or novelty claim.