OpenAI publishes 722 mathematics manuscripts from an unreleased frontier model
OpenAI released 722 manuscripts across 372 math result families with 162 Lean formalizations — but withheld the model name and prompts an advisory group had asked for.
OpenAI released 722 manuscripts across 372 math result families with 162 Lean formalizations — but withheld the model name and prompts an advisory group had asked for.