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
Prior state unknown→proved
Scope and record
Occurred: Jul 31, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: lean-verified. Publication: preprint. AI contribution: ai-discovered. Imported under CC BY 4.0.
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
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
Claude Opus 5
model · ai model contributor · OpenAI / Anthropic
ChatGPT 5.6 Sol Pro
model · ai model contributor · OpenAI / Anthropic
Artifacts and verifiers
Compute record
No linked compute attempts recorded.
Lineage and corrections
This event attributed to Daniel Reichman
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 ChatGPT 5.6 Sol Pro
This event attributed to Claude Opus 5
This event attributed to ChatGPT 5.6 Sol