Gaussian Mass Maximality of the Integer Lattice
Prior state unknown→proved
integral unimodular lattices of rank at most 32; the general conjecture is open
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
number-theory / Geometry of numbers
Gaussian Mass Maximality of the Integer Lattice
integral unimodular lattices of rank at most 32; the general conjecture is open
25Significance / 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
integral unimodular lattices of rank at most 32; the general conjecture is open
integral unimodular lattices of rank at most 32; the general conjecture is open
Recorded attempts
Evidence graph
Connected research record
- →integral unimodular lattices of rank at most 32; the general conjecture is open
parent of · claim · theorem
- →Gaussian Mass Maximality of the Integer Lattice
parent of · event · claim reported