Source authenticated

The Espuny Diaz-Lichev-Wesolek Conjecture on Dirac Subgraphs

asymptotic in k; the paper also shows the analogous statement is false for d = 2

Exact FrontierDelta

Prior state unknown→proved

Scope and record

Occurred: Jun 5, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: unreviewed. Publication: preprint. AI contribution: ai-co-developed. Imported under CC BY 4.0.

Canonical aliases: The Espuny Diaz-Lichev-Wesolek Conjecture on Dirac Subgraphs · Dirac subgraphs of cycle powers

Confidence: Not scored

Registry verification: unreviewed · preprint · partial

Attribution

VibeMathed
registry · event recorded by

ChatGPT 5.5 Pro
model · ai model contributor · OpenAI

Richard Lang
human · human collaborator

Alp Muyesser
human · human collaborator

Mathias Schacht
human · human collaborator

Carl Schneider
human · human collaborator

Lineage and corrections

This event attributed to Richard Lang

This event attributed to Alp Muyesser

This event attributed to Mathias Schacht

This event attributed to Carl Schneider

This event attributed to ChatGPT 5.5 Pro

Act on this frontier