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 Lang–Plaut problem (New page: the Lang-Plaut problem, openai/math family 098, doubling Hilbert subset without finite-dimensional bi-Lipschitz embedding, in Lean; follow-ups MathVet, cert-machine, con-leche)
