OpenAI has released 372 mathematical results produced by an unreleased internal model on GitHub. Sam Altman called it a new ...