The mod 4 Kawauchi Conjecture
Prior state unknown→proved
the mod 4 form; the general conjecture is false by Ermotti, Hongler and Weber
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
geometry-topology / Knot theory
The mod 4 Kawauchi Conjecture
the mod 4 form; the general conjecture is false by Ermotti, Hongler and Weber
20Significance / 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
the mod 4 form; the general conjecture is false by Ermotti, Hongler and Weber
the mod 4 form; the general conjecture is false by Ermotti, Hongler and Weber
Recorded attempts
Evidence graph
Connected research record
- →the mod 4 form; the general conjecture is false by Ermotti, Hongler and Weber
parent of · claim · theorem
- →The mod 4 Kawauchi Conjecture
parent of · event · claim reported