Source authenticated

Large Hypercube Intervals in Bruhat Order

Asymptotically optimal for powers of 2; the exact extremal answer for general n stays open.

Exact FrontierDelta

Prior state unknown→proved

Scope and record

Occurred: Jan 3, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: unreviewed. Publication: preprint. AI contribution: ai-co-developed. Editorial metadata: CC BY 4.0; linked content retains its own rights.

Canonical aliases: Large Hypercube Intervals in Bruhat Order · Bruhat hypercubes

Confidence: Not scored

Registry verification: unreviewed · preprint · partial

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Jordan Ellenberg
human · human collaborator

Nicolas Libedinsky
human · human collaborator

David Plaza
human · human collaborator

José Simental
human · human collaborator

Geordie Williamson
human · human collaborator

AlphaEvolve
model · ai model contributor · Google DeepMind

Lineage and corrections

This event attributed to Jordan Ellenberg

This event attributed to Nicolas Libedinsky

This event attributed to David Plaza

This event attributed to José Simental

This event attributed to Geordie Williamson

This event attributed to AlphaEvolve

Large Hypercube Intervals in Bruhat Order parent of this event

Asymptotically optimal for powers of 2; the exact extremal answer for general n stays open. parent of this event

VibeMathed record: Large Hypercube Intervals in Bruhat Order evidence for this event

Large Hypercube Intervals in Bruhat Order evidence for this event

Act on this frontier

Verify, challenge, or extend the result.