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

Prior state unknown→proved

Scope and record

Occurred: Jul 31, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: site-confirmed. Publication: preprint. AI contribution: ai-co-developed. Editorial metadata: CC BY 4.0; linked content retains its 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

Sergey Nikolenko
human · human collaborator

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

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

This event attributed to Sergey Nikolenko

This event attributed to Claude Opus 5

This event attributed to Claude Fable 5

This event attributed to GPT-5.6 Sol

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

Zenodo preprint evidence for this event

Paper I's Zenodo record evidence for this event

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

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

Act on this frontier

Verify, challenge, or extend the result.

Help verify Open canonical problem Explore evidence graph