Paper
OpenAI publicó 719 manuscritos matemáticos. Un certificado no dice quién entiende el resultado
OpenAI publicó resultados en distintas etapas de verificación. Lean permite comprobar una formalización, pero la certificación, la comprensión matemática y la responsabilidad editorial responden a preguntas distintas.