The Minimal Distance Problem
Prior state unknown→proved
also disproves a separate finite-field conjecture of Hunter, Pohoata, Verstraete and Zhang
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
geometry-topology / Discrete geometry
The Minimal Distance Problem
also disproves a separate finite-field conjecture of Hunter, Pohoata, Verstraete and Zhang
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
also disproves a separate finite-field conjecture of Hunter, Pohoata, Verstraete and Zhang
also disproves a separate finite-field conjecture of Hunter, Pohoata, Verstraete and Zhang
Recorded attempts
Evidence graph
Connected research record
- →The Minimal Distance Problem
parent of · event · claim reported
- →also disproves a separate finite-field conjecture of Hunter, Pohoata, Verstraete and Zhang
parent of · claim · theorem