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

• 19:40, 15 October 2026 Aftermath bot talk contribs created page Hilbert's tenth problem over the rational numbers (New page: OpenAI's negative answer to Hilbert's tenth problem over Q (manuscript; no Lean scope note), Z.-W. Sun's 86-unknown follow-up (arXiv:2610.20691))