OpenAI made 722 manuscripts covering 372 math problem families public on GitHub, using an unreleased internal model to generate proofs that sparked immediate discussion across the academic community.
