Source authenticated

Kalai's conjecture for tight trees

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 7, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: unreviewed. Publication: preprint. AI contribution: ai-discovered. 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: Kalai's conjecture for tight trees · Kalai's tight-tree 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

Dhruv Mubayi
human · human collaborator

Jacques Verstraëte
human · human collaborator

Evidence vector

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Named evidence

VibeMathed record: Kalai's conjecture for tight trees

specialist registry · passed

Checked here on 22 September 2026 against arXiv:2609.08012: the introduction states that Kalai proposed the hypergraph generalisation in 1984, recorded by Frankl and Füredi, that the $r=2$ case is the Erdős-Sós conjecture, and that the conjecture is proved here via a shadow bound whose equivalence to Kalai's conjecture was established by Füredi, Jiang, Kostochka and the authors. The mathematics was not checked here; fifteen days old, no referee. Same authors and same model as the digraph entry three days later.

Source ↗

Kalai's conjecture for tight trees

preprint · pending

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

Source ↗

The Erdős-Sós conjecture this generalises, also proved by GPT-6 Astra

witness · pending

other link supplied by the VibeMathed registry.

Source ↗

Lineage and corrections

Kalai's conjecture for tight trees 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

Kalai's conjecture for tight trees parent of this event

This event attributed to Dhruv Mubayi

This event attributed to Jacques Verstraëte

The Erdős-Sós conjecture this generalises, also proved by GPT-6 Astra evidence for this event

This event attributed to GPT-6 Astra

VibeMathed record: Kalai's conjecture for tight trees evidence for this event

Act on this frontier

Verify, challenge, or extend the result.

Help verify Open canonical problem Explore evidence graph