Han's Conjecture
The counterexample is an ordinary algebra concentrated in degree zero, with the strongest possible vanishing in positive degrees, so the phenomenon needs no grading or differential. Liu and Shen had already disproved the differential-graded version in December 2025 without any AI involvement; the classical case is the one that fell with a model in the loop.
Exact FrontierDelta
Scope and record
Occurred: Oct 29, 2026
Delta type: REGISTRY REVISION
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: Han's Conjecture
Confidence: Not scored
Registry verification: unreviewed · preprint · resolved
Attribution
VibeMathed
registry · event recorded by
GPT-5.6 Sol Ultra
model · ai model contributor · OpenAI
Bochao Kong
human · human collaborator
Yeqin Liu
human · human collaborator
Yu Shen
human · human collaborator
Lineage and corrections
Corrects Han's Conjecture →
Supersedes Han's Conjecture →
Liu and Shen's dg-version counterexample (December 2025, no AI involvement) evidence for this event
Han's Conjecture parent of this event
The counterexample is an ordinary algebra concentrated in degree zero, with the strongest possible vanishing in positive degrees, so the phenomenon needs no grading or differential. Liu and Shen had already disproved the differential-graded version in December 2025 without any AI involvement; the classical case is the one that fell with a model in the loop. parent of this event
This event attributed to Yu Shen
VibeMathed record: Han's Conjecture evidence for this event
This event attributed to Yeqin Liu
This event attributed to Bochao Kong
Han's Conjecture evidence for this event
This event attributed to GPT-5.6 Sol Ultra
Act on this frontier