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

• 03:34, 15 October 2026 Aftermath bot talk contribs created page Barnette's conjecture (New page: Barnette's conjecture (OpenAI manuscript and Lean scope; public follow-ups by C. Nottingham, formal-conjectures PR 7149, Erebos Labs))