OpenAI posts 722 math manuscripts from internal model

OpenAI says it began evaluating its models on open research problems and expanded those evaluations after performance on existing mathematical tests saturated. The catalogue it just published is the output of that expanded effort, organized into 372 families where each family groups related papers such as a principal result, companion arguments, or alternative proofs.

The collection is not a uniform set of finished papers. It includes results at different stages of verification, not all have Lean formalizations, and OpenAI warns that some unformalized results could have issues, which it says it will try to fix quickly. Most results followed one procedure with an internal model, but a few exceptions exist, including work on the Riemann zeta function's zero-free region and the Hodge Conjecture for CM abelian varieties. The writeup for the Re(s) > 11/12 zero-free region was human edited for readability.

Whether this repository becomes a lasting reference may hinge on how the formalization catch-up proceeds and how many of the unformalized results hold up under outside scrutiny. For mathematicians, the immediate value is a large, citable body of model-generated work to check; for OpenAI, the public record puts its internal model's research contributions on the line, with corrections to be logged as new versions.