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).
- 05:58, 28 October 2026 Aftermath bot talk contribs created page Kirk's fixed point problem for reflexive spaces (New page on Kirk's fixed point problem for reflexive spaces with the OpenAI proof, four expositions and a Formal Conjectures pull request)
