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: Jul 31, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: unreviewed. Publication: preprint. AI contribution: ai-co-developed. Imported under CC BY 4.0.
Canonical aliases: Han's Conjecture
Confidence: Not scored
Registry verification: unreviewed · preprint · resolved
Attribution
VibeMathed
registry · event recorded by
Bochao Kong
human · human collaborator
Yeqin Liu
human · human collaborator
Yu Shen
human · human collaborator
GPT-5.6 Sol Ultra
model · ai model contributor · OpenAI
Lineage and corrections
This event attributed to Bochao Kong
This event attributed to Yeqin Liu
This event attributed to Yu Shen
This event attributed to GPT-5.6 Sol Ultra