Nox-mem
arXivMemória híbrida pain-weighted para agentes LLM — sistema self-hosted em SQLite que supera o Mem0 no LoCoMo e LongMemEval sob embeddings pareados.
Ver ↗Às vezes construindo, às vezes investindo — quase sempre testando o que vem a seguir.
Curioso por tecnologia e pelas ondas que mudam o mundo. Investi em 12+ startups, co-fundei a Veek, co-fundei e abri o capital da Nuvini (Nasdaq: NVNI), e sigo investindo na economia real — sempre com IA. Busco pesquisa e colaborações independentes em IA e matemática — e escrevo sobre o que elas tocam: tecnologia, vida, sociedade e abundância.
Sou formado em Economia, com pós-graduação em Economia Política e certificado em Empreendedorismo & Inovação pela Babson College.
Construí minha carreira na interseção entre mercados financeiros, fusões e aquisições e operação de empresas, com foco em criação de valor pela aquisição e gestão ativa de companhias em múltiplos setores — óleo e gás, recursos humanos, mobiliário, eventos e serviços digitais.
Co-fundei a Veek, uma operadora móvel virtual (MVNO) 100% digital, onde atuei como CFO, COO e CTO — conduzindo desde a arquitetura financeira até produto, UX/UI e tecnologia.
Co-fundei a Nuvini com Pierre Schurmann, estruturando uma plataforma de aquisição serial de empresas de SaaS. Na Nuvini liderei M&A, operações, finanças, jurídico e RH, e conduzi a abertura de capital na Nasdaq (NVNI).
Hoje atuo como conselheiro e advisor estratégico da Nuvini, assessorando o CEO em estratégia corporativa, filings regulatórios e decisões de alto impacto.
Minhas atividades de investimento hoje focam alocação de capital — em especial fundos imobiliários e a estruturação de um fundo de investimento próprio e exclusivo.
Também atuo como AI Strategy and Transformation Advisor da Galapagos Capital, liderando a adoção de IA em toda a organização e a transformação de processos legados em fluxos habilitados por IA usando Claude e outras tecnologias.
Em paralelo, conduzo pesquisa independente em Ciência da Computação e Matemática Aplicada.
Pesquisa independente em ciência da computação e matemática aplicada.
ORCID · 0009-0007-5911-8141Memória híbrida pain-weighted para agentes LLM — sistema self-hosted em SQLite que supera o Mem0 no LoCoMo e LongMemEval sob embeddings pareados.
Ver ↗Uma refutação verificada por máquina do teorema do unit gap de Krinkin: a diferença entre tamanho de fórmula e de circuito é dependente da base — falsa no basis AIG (gap 3 na paridade, até 6 no census NPN-4 de 222 classes), mas válida em XAG para n ≤ 4. Certificada por provas DRAT e formalização em Lean 4.
Ver ↗Correções mergeadas na plataforma de agentes OpenClaw — cleanup de MCP por sessão, decouple do ciclo de vida de sessão e um fix do parser de respostas — mais um sweep aberto (flag de segurança) para credenciais vazadas de config empacotada.
Uma refutação verificável por máquina em complexidade de circuitos (P vs NP) — certificados DRAT e formalização em Lean 4, em colaboração com Kirill Krinkin.
Ver ↗Trabalho complementar de bounds no mesmo programa de teoria da complexidade — fechando os últimos limites exatos de tamanho AIG sobre o catálogo NPN-4, com lower bounds verificados por DRAT.
Ver ↗Um programa de pesquisa que coordena quatro famílias distintas de IA para avançar nos Sete Problemas Matemáticos do Milênio. Primeiro resultado: a colaboração em P vs NP acima. Método e proveniência: a análise, o código e os certificados são produzidos com auxílio de IA sob minha direção — eu escolho os alvos, defino o padrão de verificação e sou responsável pelas afirmações. O método é adversarial: os resultados são atacados por famílias de modelos independentes antes de serem aceitos, e cada revisão é registrada na íntegra.
Ver ↗Um ensaio sobre inteligência abundante, empreendedorismo e coordenação pós-Estado.
Uma newsletter diária sobre as notícias de tech e IA que importam.