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. Editorial metadata: CC BY 4.0; linked content retains its own rights.
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 Yeqin Liu
This event attributed to Bochao Kong
This event attributed to Yu Shen
This event attributed to GPT-5.6 Sol Ultra
Han's Conjecture evidence for this event
VibeMathed record: Han's Conjecture 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
Liu and Shen's dg-version counterexample (December 2025, no AI involvement) evidence for this event
Act on this frontier