Da mesma casa: a série do James THIAGO.EXE A madrugada dos sites James e Thiago validam estilos
O que é a Genesis (pitch)
O Thiago explica a Genesis para quatro investidores: entropia local, P = NP, um grafo que toma a sala e os teoremas no kernel do Lean. O James dorme em cima do projetor. Toque no James, no Thiago e no slide.
Dramatizado. A filosofia é real: genesisinnovation.io. Os teoremas também: genesisinnovation.io/matematica
O que é real
- Os slides citam, palavra por palavra, a filosofia da casa: “caos → estrutura”, “P = NP como norte de engenharia, não como teorema”, “O(n)→O(1)”, “descoberta sem entrega é entropia adiada” e “Haja luz” (CLAUDE.md e FACTORY.md).
- O problema da cidade é o do repositório Matemática: endereços de n letras, uma torre alcança todo endereço a até R trocas, e K_q(n,R) é o menor número de torres. Com 3 bits e uma troca, duas torres (000 e 111) bastam: K_2(3,1) = 2.
- 700 de 1145 cotas superiores do ledger são teoremas do kernel do Lean; 5 valores exatos fechados ali (entre eles K_7(6,4) = 14 e K_3(6,2) = 17); K_7(9,4) ≤ 1134, contra 1475 publicado. Versão 0.10.0, ledger de 2026-10-07, DOI 10.5281/zenodo.23085769.
- Dois certificados para o mesmo resultado: prefixos, ~12 h de CPU para (Z/7)^9; síndromes, ~8 min de CPU. Descoberta cara, verificação barata.
- Nenhum sorry, nenhum native_decide; #print axioms mostra só propext, Classical.choice, Quot.sound. O lake build CoveringHeavy leva ~9,3 h de CPU.
Os investidores são fictícios e as falas são dramatizadas. Cada frase dos slides é citação literal; a fonte de cada uma (arquivo e linha) está no roteiro do episódio. A matemática inteira, com os certificados, está no genesisinnovation.io/matematica.
genesisinnovation.io · sites, posts e (também) entropia
Reels
Em vídeo vertical (1080×1920), gravado quadro a quadro pelo próprio código desta página.
Trilha dos Reels: Música original · motor de piano Genesis; Offenbach, Galope infernal (Orfeu no Inferno) · arranjo e piano: motor Genesis. Piano: Salamander Grand Piano V3, Alexander Holm, CC-BY 3.0. O chiptune da série entra quando as faixas faltam.
Narração do vídeo sério: voz sintética do Google Cloud Text-to-Speech (pt-BR-Neural2-B), lendo um texto nosso; cada frase diz só o que a Genesis faz de verdade.