original — 8 Oct 2026

Someone checked the proofs, right?

#openai #math-dump