lean artifact · pending
Artifact ↗An improved lower bound for the Shannon capacity of
A sequence of explicitly constructed independent sets in strong powers of , with successive root improvements certified by exact integer comparisons, using cross-powers when dimensions differ. The current bound is , from an independent set in (R10, 9 September 2026), improving the R3 result of in dimension 207 that this entry was first listed for, and the Buys-Polak-Zuiddam baseline of . The intermediate steps R5 and R6 and the superseded R9 are recorded on the frontier. The exact capacity remains open, and no upper bound is claimed. The R5, R6, R9 and R10 builds carry disclosed native-evaluation dependencies rather than being kernel-only.
Exact FrontierDelta
Scope and record
Occurred: Sep 8, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: lean-checked. Publication: announcement. 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: An improved lower bound for the Shannon capacity of $C_{11}$ · Improved $C_{11}$ capacity bound
Confidence: Not scored
Registry verification: lean checked · announcement · partial
Attribution
VibeMathed
registry · event recorded by
Astra 6 Pro
model · ai model contributor · OpenAI
Codex GPT-6 Astra Extra-High
model · ai model contributor · OpenAI
Matthew Protti
human · human collaborator
Artifacts and verifiers
code · pending
Artifact ↗code · pending
Artifact ↗code · pending
Artifact ↗code · pending
Artifact ↗code · pending
Artifact ↗code · pending
Artifact ↗Compute record
No linked compute attempts recorded.
Lineage and corrections
This event attributed to Matthew Protti
This event attributed to Astra 6 Pro
This event attributed to Codex GPT-6 Astra Extra-High
v0.1.0 release with unchanged checked R3 archive evidence for this event
R3 history: checked build, native trust and negative controls evidence for this event
R6 v0.3.0: checked release archive and checksum evidence for this event
v0.5.0: current checked R10 release and archive evidence for this event
R3 history: pinned construction and capacity theorems (v0.1.0) evidence for this event
R5 v0.2.0: checked release archive and checksum evidence for this event
VibeMathed record: An improved lower bound for the Shannon capacity of evidence for this event
An improved lower bound for the Shannon capacity of parent of this event
v0.5.0: consolidated verification and trust disclosure evidence for this event
An improved lower bound for the Shannon capacity of evidence for this event
R3 history: exact N0, N1 and frozen replacement table evidence for this event
Prior BPZ C11 certificate: full August 10 baseline evidence for this event
A sequence of explicitly constructed independent sets in strong powers of , with successive root improvements certified by exact integer comparisons, using cross-powers when dimensions differ. The current bound is , from an independent set in (R10, 9 September 2026), improving the R3 result of in dimension 207 that this entry was first listed for, and the Buys-Polak-Zuiddam baseline of . The intermediate steps R5 and R6 and the superseded R9 are recorded on the frontier. The exact capacity remains open, and no upper bound is claimed. The R5, R6, R9 and R10 builds carry disclosed native-evaluation dependencies rather than being kernel-only. parent of this event
Act on this frontier