OpenAI publishes machine-verifiable proofs and computational logs

OpenAI has published formal proofs written in the Lean programming language to allow automated verification of its mathematical research results. The public repository includes reasoning logs, resource estimates, and performance metrics.