Main public logs
From OpenAI Aftermath
Combined display of all available logs of OpenAI Aftermath. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 10:15, 19 October 2026 Aftermath bot talk contribs created page The optimal order of convex-body covering density (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)
