Victor Sanches Portella
https://victorvsp.github.io/
Setembro, 2026
A matemática por trás da IA moderna
Dados: \((x_i, y_i)\) pares de números
Tarefa: Dado um novo valor \(x\), predizer um valor \(y\) baseado nos dados
Dado \(x\), predizemos
Parâmetros: \(a\) (inclinação) e \(b\) (interseção do eixo \(y\))
Como escolher \(a\) e \(b\)?
Como escolhemos uma reta?
O erro de predição da reta nos dados é
Como escolher \(a\) e \(b\)?
Aqueles que minimizam \(L(a,b)\)!
Valor real \(y_i\) para \(x_i\)
Predição do modelo para \(x_i\)
Treinar modelo
Achar parâmetros \((a,b)\) que minimizam \(L(a,b)\)
=
Regressão linear tem fórmula fechada!
Convexidade, modelo simples, erro quadrático...
E se os dados \(x_i\) forem vetores?
Predizer altura a partir de peso, país, salário, etc...
Basta ainda minizar o erro como função dos parâmetros!
Vetor de parâmetros
Um parâmetro para cada entrada do \(x\)
Regressão linear ainda tem solução "simples"
Tempo \(O(d^3)\)
Sistema de equações com \(d\) variáveis
Existe muitos modelos além de regressão linear
Regressão Logística
SVM
Fatorização de Matrizes
Praticamente todos sem solução "fácil"
Visão de minimizar o erro \(L(w)\)
(muitas vezes convexo) cabe em todos
Treinar um modelo de ML normalmente é modelado via optimização irrestrita
Modelos de ML tendem a serem GRANDES
\(d\) é GRANDE
\(O(d)\) tempo e espaço por iteração é preferível
Solução exatamente ótima nem sempre é necessária em machine learning
Se não depender do número de dados \(n\), ainda melhor
\(O(nd)\) de tempo para computar!
Ideia: Ao invés de usar o gradiente de todos os \(n\) pontos, usar gradiente de poucos exemplos aleatórios
Regrrssão linear/logística funcionam quando os dados são faceis de se prever/separar
Casos mais complexos exigem feature engineering e modelos mais expressivos
Backpropagation =
regra da cadeia +
reutilização eficiente de derivadas intermediárias
Em ML ouvirmos falar muito sobre overfitting
Preve muito bem dados de treino, mas não dados novos
Em teoria, muito parâmetros aumentam a chance de overfitting
Mas redes neurais quebram esse padrão: muitos parâmetros e ainda generalizam bem
Como escolhemos o tamanho de passo \(\eta\)?
Teoria nos diz que, sob certas condições, existe um tamanho de passo fixo ótimo
Escolher um e dividir por 2 se muito grande funciona melhor ainda
Na prática, "agendas de passos" e buscas exaustivas são bastante usadas também
Converge em 1 passo
\(P\)
Conseguimos calcular \(P\) automaticamente?
"Se adaptar à \(L\)"
Precondicionador \(P\)
Passos "Adaptivos" para cada parâmetro
Hypergradient
Adam, RMSProp, RProp
Aprox. 2nd Order Methods
Mas o que significa ser adaptativo?
"(...) Nowadays, [adaptive] seems to denote any kind of coordinate-wise learning rates that does not guarantee anything in particular."
Francesco Orabona in "A Modern Introduction to Online Learning", Sec. 4.3
Se o Adam falha em funções simples, por que funciona tão bem em algumas redes neurais?
Podem existir (muitos) mínimos em uma rede neural que não generalizam. SGD parece sempre convergir para bons mínimos
Redes neurais vivem na "beira da estabilidade" durante treinamento: curvatura se mantem o inverso do tamanho de passo!
Usar todas as conexões entre as camadas cria muitos parâmetros
Ideia: usar padrões de conexão diferente para tarefas distintas
Exemplos de arquiteturas
CNNs - Imagens
Transformers - Texto
Desempenho revolucionário na competição ImageNet em 2012
AlexNet: 15,3% erro top-5
Segundo lugar: 26,2% erro top 5
Demonstração marcante do potencial de deep learning quando temos muitos dados e poder computacional
Na faze de treinamento, a rede tenta prever a próxima palavra dos textos:
A resposta da vida, universo, e tudo mais é
42
Processo muito paralelizável!
Na prática, essas fases de pré-treino são muitas vezes acompanhadas de perto por pessoas
Treino divergiu? Volta pro último check-point e muda alguns hiperparâmetros
Como inicializar a rede? Os ingredientes secretos mudam a de tempos em tempos
Muito da eficiência ditada por melhor engenharia de sistemas paralelos e distribuidos, manejo de cache, etc.
De um tutorial da ICML desse ano:
Minha opinião:
Muito de otimização de ML que ainda não entendemos!
Obrigado!