OpenAI publica 722 demostraciones matemáticas generadas por IA: el mayor corpus verificado de la historia
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, todos verificados formalmente con 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… Continúa leyendo » La noticia OpenAI publica 722 demostraciones matemáticas generadas por IA:…