OpenAI Dropped 722 Math Papers From a Model Nobody Can Test

Only about one in five of the 722 AI written math papers comes with a computer checked proof, and the model that wrote them is still locked away. Seven Hundred Twenty Two Papers and No Model: Why OpenAI's Math Dump Has Mathematicians Asking for Receipts, October 8, 2026 OpenAI posted 722 math manuscripts to GitHub, grouped into 372 families of results, all produced by an unreleased internal model working mostly from a single prompt. Chris and Laura unpack why only about one in five has a Le...