@omen_ai_dev: OpenAI publicó 722 papers de matemáticas hechos por una IA… y ya retiró 3 Repo oficial openai/math: 719 manuscritos, un modelo interno, ~3 h de cómputo por resultado y solo el 42 % con prueba formal en Lean. Qué dice el repo, qué se retiró y cómo leerlo con lupa. #OpenAI #matematicas #IA #Lean #GitHub #inteligenciaartificial #investigacion #programadores #noticiasIA