Corollaries Nobody Wrote Down
The machine didn’t know what it had just proved. In September 2026 OpenAI posted a collection of 719 mathematics manuscripts. Reading its mathematical-physics part, I kept running into the same pattern: a main theorem settles some statement X; the literature has known for decades that “if X then Y”, where Y is itself a named open problem; nobody writes down Y. It isn’t in the paper, and it isn’t in a footnote either. I searched all 719 manuscripts and the literature, and could not find any of the four corollaries below stated anywhere. None of them needs new mathematics. Each one is an OpenAI theorem plus a classical result, and all the depth is in the cited papers. My guess is that this is an agentic-harness effect. The corollaries the manuscripts do state reuse the proof’s own machinery (examples below). What gets missed is noticing that a theorem answers someone else’s question, posed in a different language. That takes a literature step nobody seems to have run. ...