News
OpenAI publishes math results from an unreleased internal model
OpenAI released a set of mathematical results in a GitHub repository, with Lean formalizations for many proofs, and says it is working to release the model that produced them responsibly.
Sources
- OpenAIOriginal announcement
The headline and summary are ours; the facts come from the sources above. See how we verify.
Also tracked: All news · Usage reset tracker · All releases · Blog