OpenAI Publishes Lean-Certified Proofs for Ten Advances in Math and Computer Science

OpenAI has published Ten Advances in Mathematics and Theoretical Computer Science, a release that combines a 249-page manuscript of ten claimed results with Lean 4 certificates and model-generated rea