Paper
OpenAI published 719 mathematical manuscripts. A certificate cannot show who understands the result
OpenAI has released results at different stages of verification. Lean can check a formalisation, but certification, mathematical understanding and editorial responsibility answer different questions.