Source authenticated

Kahn's flow conjecture

Registry resolution: resolved. Reported result type: proved. The registry record and named primary source provide the statement and scope.

Exact FrontierDelta

Prior state unknown→proved

Scope and record

Occurred: Sep 20, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: unreviewed. 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: Kahn's flow conjecture

Confidence: Not scored

Registry verification: unreviewed · preprint · resolved

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

GPT-6 Astra
model · ai model contributor · OpenAI

Peter Keevash
human · human collaborator

Evidence vector

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Named evidence

VibeMathed record: Kahn's flow conjecture

specialist registry · passed

Checked here on 22 September 2026 against arXiv:2609.23595: the abstract states that Kahn's flow conjecture is proved and describes it as a strong form of Chvátal's conjecture, and the reference list confirms the attribution chain (Chvátal 1974, Hypergraph Seminar, LNM 411; Friedgut, Kahn, Kalai and Keller, JCTA 156 (2018), on Chvátal's conjecture and correlation inequalities). The mathematics was not checked here. Two days old, no referee. A separate September 2026 preprint (arXiv:2609.19123, Chang, Liu and Liu) proves Chvátal's conjecture itself by a correlation inequality and is cited here; the two are independent.

Source ↗

Kahn's flow conjecture

preprint · pending

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

Source ↗

Friedgut, Kahn, Kalai and Keller on Chvátal's conjecture

paper · pending

paper link supplied by the VibeMathed registry.

Source ↗

Lineage and corrections

VibeMathed record: Kahn's flow conjecture evidence for this event

Registry resolution: resolved. Reported result type: proved. The registry record and named primary source provide the statement and scope. parent of this event

Kahn's flow conjecture evidence for this event

This event attributed to Peter Keevash

Friedgut, Kahn, Kalai and Keller on Chvátal's conjecture evidence for this event

Kahn's flow conjecture parent of this event

This event attributed to GPT-6 Astra

Act on this frontier

Verify, challenge, or extend the result.

Help verify Open canonical problem Explore evidence graph