OpenAI releases mathematical results from an internal frontier model
OpenAI says it is publishing a broad set of mathematical results produced by an internal frontier model, alongside material intended to help researchers examine and check the work. The release includes formalised proofs in Lean and details
Open discussion →