Source authenticated

1.28249... Lower Bound and Partial Upper Bounds for Cost-Preserving Single-Source Unsplittable Flows

Record lower bound only. The sub-2 ceiling is the codimension-two case and does not bound the record ladder (k=17 has complement mass 11). 4/3 and 2 are conjectures; the proved gap is [1.28249, 2].

Exact FrontierDelta

proved→proved

Scope and record

Occurred: Oct 29, 2026

Delta type: REGISTRY REVISION

Assumptions: VibeMathed verification: site-confirmed. 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: 1.28249... Lower Bound and Partial Upper Bounds for Cost-Preserving Single-Source Unsplittable Flows · Common-Point Interval Systems for SSUF

Confidence: Not scored

Registry verification: site confirmed · preprint · partial

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

GPT-5.6 Sol
model · ai model contributor · maker attribution ambiguous: OpenAI, Anthropic

Claude Fable 5
model · ai model contributor · maker attribution ambiguous: OpenAI, Anthropic

Claude Opus 5
model · ai model contributor · maker attribution ambiguous: OpenAI, Anthropic

Sergey Nikolenko
human · human collaborator

Evidence vector

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Named evidence

VibeMathed record: 1.28249... Lower Bound and Partial Upper Bounds for Cost-Preserving Single-Source Unsplittable Flows

specialist registry · passed

The k=17 lower bound is a finite certificate: the verifier rebuilds the 67-arc instance from raw interval data, rediscovers all paths by DFS, and enumerates all 2^17 routings in exact rational arithmetic. Re-run by the site from a clean clone on 2026-08-01; the exact constant, 15 minimizers, and 18-atom hull certificate reproduce. The deletion-star ceiling theorems are conventional proofs in an unreviewed preprint, checked by the author only, with no independent expert review and no formalization. Tier reflects the site's confirmation of the certificate; the structural results remain unreviewed.

Source ↗

1.28249... Lower Bound and Partial Upper Bounds for Cost-Preserving Single-Source Unsplittable Flows

preprint · pending

Primary source named by the VibeMathed record. Presence in this import is not an independent mathematical verification.

Source ↗

Zenodo preprint

paper · pending

paper link supplied by the VibeMathed registry.

Source ↗

Paper I's Zenodo record

paper · pending

paper link supplied by the VibeMathed registry.

Source ↗

Lineage and corrections

Corrects 1.28249... Lower Bound and Partial Upper Bounds for Cost-Preserving Single-Source Unsplittable Flows →

Supersedes 1.28249... Lower Bound and Partial Upper Bounds for Cost-Preserving Single-Source Unsplittable Flows →

Zenodo preprint evidence for this event

1.28249... Lower Bound and Partial Upper Bounds for Cost-Preserving Single-Source Unsplittable Flows evidence for this event

This event attributed to Claude Opus 5

Record lower bound only. The sub-2 ceiling is the codimension-two case and does not bound the record ladder (k=17 has complement mass 11). 4/3 and 2 are conjectures; the proved gap is [1.28249, 2]. parent of this event

1.28249... Lower Bound and Partial Upper Bounds for Cost-Preserving Single-Source Unsplittable Flows parent of this event

This event attributed to GPT-5.6 Sol

This event attributed to Sergey Nikolenko

VibeMathed record: 1.28249... Lower Bound and Partial Upper Bounds for Cost-Preserving Single-Source Unsplittable Flows evidence for this event

This event attributed to Claude Fable 5

Paper I's Zenodo record evidence for this event

Act on this frontier

Verify, challenge, or extend the result.

Help verify Open canonical problem Explore evidence graph