Follow the latest coverage, related explainers and connected technology stories.
OpenAI has published on GitHub a collection of 722 mathematical studies produced by an internal model that is not publicly available, covering results across 372 problem families. The company emphasizes that the work is at different stages of verification and that only part of it has been verified using Lean.