Claims

../

2026_09_25_openai: A preprint of the OpenAI mathematics release proves that the edge count left by uniform random triangle removal from K_n, divided by n^{3/2}, converges in L^2 to 1/(2 sqrt 2), answering both displayed questions; accepted as a partial answer on the Lean declaration the corpus's verification built and audited.

---