Módulo 05 · Maestría en Ciencias de la Computación
El Lenguaje Secreto de la Inteligencia Artificial
Detrás de cada modelo de lenguaje, cada predicción y cada neurona artificial existe un fundamento matemático preciso. Este módulo expone la arquitectura invisible que hace posible la IA moderna.
Los Dos Pilares del Módulo
Teoría matemática rigurosa que fundamenta el dominio técnico de nivel maestría
Mathematical Theory of Deep Learning
Análisis riguroso de las bases matemáticas que permiten a las redes neuronales profundas aprender representaciones complejas a partir de datos.
- Backpropagation Formal: derivación del algoritmo usando la regla de la cadena y cálculo tensorial.
- Convergencia de SGD: condiciones de Lipschitz y teoremas de convergencia en superficies no convexas.
- Expressividad Universal: Teorema de Aproximación Universal de Hornik (1989) y sus extensiones modernas.
- Normalización por Lotes: análisis de su efecto sobre el paisaje de pérdida y la estabilidad del gradiente.
- Transformers & Atención: la operación Attention(Q,K,V) = softmax(QKᵀ/√d)V desde álgebra lineal.
- Teoría de la Información: Entropía cruzada, divergencia KL y sus roles como funciones de pérdida.
Probabilistic AI
Marcos estadísticos para construir modelos que cuantifican la incertidumbre, fundamentales para sistemas de IA robustos y confiables.
- Inferencia Bayesiana: actualización de creencias: P(θ|X) ∝ P(X|θ)·P(θ).
- Modelos Gráficos Probabilísticos: Redes Bayesianas y Markov Random Fields.
- Variational Inference (VI): optimizar la ELBO como alternativa escalable a MCMC.
- Gaussian Processes: distribuciones sobre funciones para regresión no paramétrica.
- Modelos Latentes (VAE): el truco de re-parametrización y el aprendizaje de representaciones.
- Calibración: confiabilidad epistémica vs. aleatoria en sistemas de decisión crítica.
Conceptos Fundamentales
El arsenal matemático de un Maestro en Ciencias de la Computación especializado en IA
Gradiente
Dirección de máximo ascenso en el espacio de pérdida
Activación
Sigmoid, ReLU, GELU — transformaciones no lineales
Esperanza
Fundamento del riesgo empírico y la función de pérdida
Parámetros
Pesos y sesgos optimizados durante el entrenamiento
Probabilidad
Cuantificación de incertidumbre en modelos generativos
Regularización
L1/L2: control de sobreajuste en el espacio de hipótesis
Entropía
Medida de incertidumbre de Shannon aplicada a LLMs
Derivada Parcial
Corazón del backpropagation en redes profundas
Biblioteca Técnica del Módulo
Textos de nivel académico que sustentan cada concepto enseñado
Mathematical Theory of Deep Learning
Tratamiento formal del aprendizaje profundo: teoremas de convergencia, análisis de expresividad y fundamentos de álgebra lineal aplicada a redes neuronales.
Probabilistic AI
Marco estadístico completo para IA confiable: inferencia bayesiana, modelos generativos, procesos gaussianos y cuantificación de incertidumbre en sistemas de decisión.
¿Por qué un Maestro en Computación domina las Matemáticas?
Conocer herramientas de IA es suficiente para el usuario. Comprender por qué funcionan es lo que define al investigador, al arquitecto de sistemas y al líder técnico. La diferencia entre usar un LLM y poder diseñar uno desde cero.
Rigor Científico
Capacidad de evaluar afirmaciones técnicas más allá del hype
Arquitectura Propia
Diseñar modelos adaptados a problemas específicos del dominio
IA Confiable
Construir sistemas que cuantifiquen y comuniquen su incertidumbre