Lead story · Models
OpenAI releases 722 math manuscripts from an unreleased internal model
OpenAI put 722 manuscripts, grouped into 372 families of related results, on GitHub on Tuesday. All of them come from an internal frontier model it has not released. Latent Space reports the model was pointed at about 4,000 research problems and used roughly three hours of ChatGPT Pro compute per result on average. Zvi, citing Proof of Atlas, counts 90 of the top 500 open problems among them, and says three manuscripts were later withdrawn for lacking Lean proofs. Latent Space adds that the notable claims come from individual commentators and are not independently verified.