lean artifact · passed
Artifact ↗Source authenticated
Record Lower Bounds for the Shannon Capacity of Odd Cycles
record lower bounds for seven odd cycles; the exact capacities remain open for every odd cycle beyond C5
Exact FrontierDelta
proved→proved
Scope and record
Occurred: Oct 29, 2026
Delta type: REGISTRY REVISION
Assumptions: VibeMathed verification: lean-verified. Publication: preprint. AI contribution: ai-discovered. 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: Record Lower Bounds for the Shannon Capacity of Odd Cycles · Shannon capacity records
Confidence: Not scored
Registry verification: lean verified · preprint · partial
Attribution
VibeMathed
registry · event recorded by
ChatGPT 5.6 Sol Pro
model · ai model contributor · OpenAI / Anthropic
ChatGPT 5.6 Sol
model · ai model contributor · OpenAI / Anthropic
Claude Opus 5
model · ai model contributor · OpenAI / Anthropic
Pjotr Buys
human · human collaborator
Sven Polak
human · human collaborator
Jeroen Zuiddam
human · human collaborator
Yu Gao
human · human collaborator
Nathaniel Itty
human · human collaborator
Christopher D. Rosin
human · human collaborator
Chase Carstensen
human · human collaborator
Daniel Reichman
human · human collaborator
Artifacts and verifiers
Compute record
No linked compute attempts recorded.
Lineage and corrections
Corrects Record Lower Bounds for the Shannon Capacity of Odd Cycles →
Supersedes Record Lower Bounds for the Shannon Capacity of Odd Cycles →
Record Lower Bounds for the Shannon Capacity of Odd Cycles parent of this event
record lower bounds for seven odd cycles; the exact capacities remain open for every odd cycle beyond C5 parent of this event
VibeMathed record: Record Lower Bounds for the Shannon Capacity of Odd Cycles evidence for this event
Record Lower Bounds for the Shannon Capacity of Odd Cycles evidence for this event
Current record, Lean-verified (Buys, Polak, Zuiddam), arXiv:2607.29681 evidence for this event
Lean 4 formalization of all seven bounds evidence for this event
Intermediate C7 record by recursive construction (Gao), arXiv:2607.27869 evidence for this event
This event attributed to ChatGPT 5.6 Sol Pro
This event attributed to ChatGPT 5.6 Sol
This event attributed to Claude Opus 5
This event attributed to Pjotr Buys
This event attributed to Sven Polak
This event attributed to Jeroen Zuiddam
This event attributed to Yu Gao
This event attributed to Nathaniel Itty
This event attributed to Christopher D. Rosin
This event attributed to Chase Carstensen
This event attributed to Daniel Reichman
Act on this frontier