lean artifact · passed
Artifact ↗Source authenticated
Kannan–Tetali–Vempala conjecture (bipartite/binary-matrix case)
Registry resolution: resolved. Reported result type: proved. The registry record and named primary source provide the statement and scope.
Exact FrontierDelta
proved→proved
Scope and record
Occurred: Oct 29, 2026
Delta type: REGISTRY REVISION
Assumptions: VibeMathed verification: lean-verified. 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: Kannan–Tetali–Vempala conjecture (bipartite/binary-matrix case) · KTV conjecture
Confidence: Not scored
Registry verification: lean verified · preprint · resolved
Attribution
VibeMathed
registry · event recorded by
ChatGPT 5.5 Pro
model · ai model contributor · OpenAI
Weibo Fu (Princeton)
human · human collaborator
Qian Qin (Minnesota)
human · human collaborator
Guanyang Wang (Rutgers)
human · human collaborator
Artifacts and verifiers
Compute record
No linked compute attempts recorded.
Lineage and corrections
Corrects Kannan–Tetali–Vempala conjecture (bipartite/binary-matrix case) →
Supersedes Kannan–Tetali–Vempala conjecture (bipartite/binary-matrix case) →
Registry resolution: resolved. Reported result type: proved. The registry record and named primary source provide the statement and scope. parent of this event
Lean repository evidence for this event
Kannan–Tetali–Vempala conjecture (bipartite/binary-matrix case) parent of this event
This event attributed to Qian Qin (Minnesota)
Claimed undirected case (OpenAI math release) evidence for this event
This event attributed to Weibo Fu (Princeton)
This event attributed to Guanyang Wang (Rutgers)
VibeMathed record: Kannan–Tetali–Vempala conjecture (bipartite/binary-matrix case) evidence for this event
Kannan–Tetali–Vempala conjecture (bipartite/binary-matrix case) evidence for this event
This event attributed to ChatGPT 5.5 Pro
Act on this frontier