The Liu-Morin Extension Conjecture
Prior state unknown→proved
Han's conjecture itself remains open; this settles the Liu-Morin extension case
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
algebra / Homological algebra
The Liu-Morin Extension Conjecture
Han's conjecture itself remains open; this settles the Liu-Morin extension case
15Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts
Temporal state
Current frontier
No reconciled state yet.
Append-only history
Frontier timeline
Research memory
Claims and attempts
Scoped claims
Han's conjecture itself remains open; this settles the Liu-Morin extension case
Han's conjecture itself remains open; this settles the Liu-Morin extension case
Recorded attempts
Evidence graph
Connected research record
- →Han's conjecture itself remains open; this settles the Liu-Morin extension case
parent of · claim · theorem
- →The Liu-Morin Extension Conjecture
parent of · event · claim reported