OpenAI publishes 722 mathematical manuscripts from unreleased frontier model

OpenAI released 722 manuscripts covering 372 result families, containing solutions to longstanding open mathematics problems generated by an unreleased frontier model. The release follows recent results involving Navier-Stokes equations and was published on a GitHub repository with protocols for paper revisions and Lean proofs for most results. The company stated it consulted an advisory group on mathematics and artificial intelligence, established on September 21, following an open letter criticizing the treatment of AI in mathematics. The compute used for this batch was reported to be less than the couple million dollars spent on the Navier-Stokes demonstration. The release includes summaries of model reasoning and compute estimates. Analysts noted potential national security implications, comparing the rapid dissemination of cryptographic insights to the anticipated impact of quantum computing, and highlighted that some results weaken the security of certain encryption schemes, including one post-quantum signature scheme previously considered by NIST.