lean artifact · pending
Artifact ↗Source authenticated
The Tu-Deng Conjecture
VibeMathed recorded: The Tu-Deng Conjecture. Consult the linked registry entry for the original report and scope.
Exact FrontierDelta
Prior state unknown→proved
Scope and record
Occurred: Jul 30, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: lean-checked. Publication: preprint. AI contribution: ai-assisted. Editorial metadata: CC BY 4.0; linked content retains its own rights.
Canonical aliases: The Tu-Deng Conjecture · Tu-Deng conjecture
Confidence: Not scored
Registry verification: lean checked · preprint · resolved
Attribution
VibeMathed
registry · event recorded by
Renzhang Liu
human · human collaborator
Hengyi Luo
human · human collaborator
Tianyuan Xie
human · human collaborator
ChatGPT 5.6 Pro
model · ai model contributor · OpenAI
Artifacts and verifiers
Compute record
No linked compute attempts recorded.
Lineage and corrections
This event attributed to Renzhang Liu
This event attributed to Hengyi Luo
This event attributed to Tianyuan Xie
This event attributed to ChatGPT 5.6 Pro
Lean formalization of the proof evidence for this event
The Tu-Deng Conjecture evidence for this event
The Tu-Deng Conjecture parent of this event
VibeMathed record: The Tu-Deng 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
Act on this frontier