OpenAI ha subido a GitHub el mayor repositorio de demostraciones matemáticas generadas por inteligencia artificial jamás publicado: 722 manuscritos agrupados en 372 familias de teoremas, muchos de ellos, aunque no todos, acompañados de formalizaciones en Lean, el asistente de pruebas que la comunidad matemática usa para confirmar que un argumento no tiene fisuras lógicas. El repositorio está disponible en github.com/openai/math desde el 7 de octubre de 2026 y fue producido con un modelo interno que OpenAI no ha publicado ni nombrado. Continúa leyendo «OpenAI publica 722 manuscritos matemáticos generados por IA: el mayor corpus de su tipo, solo en parte verificado»
