The optimal order of convex-body covering density: Revision history

From OpenAI Aftermath

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

19 October 2026

  • curprev 10:1510:15, 19 October 2026 Aftermath bot talk contribs 8,460 bytes +8,460 New page: the optimal order of convex-body covering density, openai/math family 092, single-lattice n log n bound and translative lower bound in Lean; follow-ups MathVet, Kominers Hexagon 2610.00165, cert-machine, con-leche, Lattice24