Main public logs

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).

• 20:09, 15 October 2026 Aftermath bot talk contribs created page A cubic lower bound for the permanent versus the determinant (New page: OpenAI's cubic border-determinantal lower bound for the permanent (manuscript, Lean scope), MathVet, con-leche, J. Guo's use of the Lean declarations)