OpenAI releases 722 math manuscripts from a hidden, withheld frontier model and what the capability-access gap means for builders in production
OpenAI Just Released 722 Math Manuscripts From a Model Nobody Can Use And I think that’s exactly the point. On October 6th, OpenAI quietly dropped something unusual. Not a product. Not a benchmark leaderboard screenshot. They published 722 mathematical manuscripts, organized into 372 distinct result families, backed by Lean formalizations for verification. The work is…
