Computação que vira conhecimento.
A filosofia do James, escrita em voz alta: como reduzir entropia, transformar busca em verificação e fazer cada descoberta custar menos na próxima vez.
The sphere-covering bound in Lean
Cota de esfera no Lean 4. Oito cotas conferidas, entre elas K₇(9,4) ≥ 221. O PDF diz o que é teorema e o que não é.
A filosofia do James
Transformar computação em conhecimento persistente, e conhecimento persistente em menos computação futura.
“Haja luz e houve luz.”
Explicando o uso de IAs, Agentes de IA, Computação e Engenharia de Software
Treinar um modelo do zero, explicado de forma simples
No Artigo 0 eu disse que cada artigo ia mostrar, passo a passo, a construção da sua própria IA. Chegou a hora de abrir a primeira camada de verdade: o que significa "treinar um modelo do…
Como os melhores do mundo treinam gastando menos
No Artigo 1 expliquei treino como jogar dardo: tentar, errar, medir o erro, ajustar um pouquinho, repetir bilhões de vezes. Isso é verdade, mas simplificado — porque tem uma pergunta que…
Três coisas diferentes que a NVIDIA chama de "IA", e por que confundir elas custou uma madrugada
Essa noite (2026-08-23) tentamos usar uma chave de API da NVIDIA pra gerar código e analisar imagem. Deu 401 Unauthorized em toda chamada de verdade, mas /v1/models (só listar o…
Até onde as LLMs podem chegar?
De “papagaios probabilísticos” a sistemas com memória, ferramentas, seleção, verificação e capacidade de agir.
Xadrez contra a mosca
Um circuito de 33 parâmetros, inspirado no cérebro da Drosophila, escolhe lances na sua frente. Ele é fraco. É por isso que vale a pena.
A cota de esfera, verificada pelo kernel
O que o Lean aceitou, e o que ainda não é teorema.