Courtade and Kumar's Coordinate-wise Mutual Information Question
Fully resolves the posed coordinate-wise question; the main Courtade-Kumar conjecture itself remains open outside the extended high-noise range. The full Courtade-Kumar conjecture was later claimed in the OpenAI math release (September 2026), with a Lean statement of the Boolean inequality; see courtade-kumar-conjecture.
Exact FrontierDelta
Scope and record
Occurred: Oct 29, 2026
Delta type: REGISTRY REVISION
Assumptions: VibeMathed verification: unreviewed. Publication: preprint. AI contribution: ai-co-developed. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.
Canonical aliases: Courtade and Kumar's Coordinate-wise Mutual Information Question · Courtade-Kumar progress
Confidence: Not scored
Registry verification: unreviewed · preprint · partial
Attribution
VibeMathed
registry · event recorded by
Gemini Deep Think (larger internal version)
model · ai model contributor · Google DeepMind
Adel Javanmard
human · human collaborator
David P. Woodruff
human · human collaborator
Lineage and corrections
Corrects Courtade and Kumar's Coordinate-wise Mutual Information Question →
Supersedes Courtade and Kumar's Coordinate-wise Mutual Information Question →
Courtade and Kumar's Coordinate-wise Mutual Information Question evidence for this event
Stronger result in the OpenAI math release evidence for this event
This event attributed to Gemini Deep Think (larger internal version)
This event attributed to Adel Javanmard
VibeMathed record: Courtade and Kumar's Coordinate-wise Mutual Information Question evidence for this event
This event attributed to David P. Woodruff
Fully resolves the posed coordinate-wise question; the main Courtade-Kumar conjecture itself remains open outside the extended high-noise range. The full Courtade-Kumar conjecture was later claimed in the OpenAI math release (September 2026), with a Lean statement of the Boolean inequality; see courtade-kumar-conjecture. parent of this event
Courtade and Kumar's Coordinate-wise Mutual Information Question parent of this event
Act on this frontier