OpenAI Publishes Hundreds of AI-Generated Mathematical Results for Public Review
October 8, 2026 - OpenAI has released more than 300 mathematical research results from an internal AI model, along with Lean formalizations and supporting data, opening a new debate about how machine-generated discoveries should be checked.