The Dimer Constant of the Cubic Lattice
Prior state unknown→proved
a record upper bound; the exact constant remains unknown
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
mathematical-physics / Statistical mechanics
The Dimer Constant of the Cubic Lattice
a record upper bound; the exact constant remains unknown
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
a record upper bound; the exact constant remains unknown
a record upper bound; the exact constant remains unknown
Recorded attempts
Evidence graph
Connected research record
- →a record upper bound; the exact constant remains unknown
parent of · claim · theorem
- →The Dimer Constant of the Cubic Lattice
parent of · event · claim reported