A Nvidia liderou rodada Série C de US$ 120 milhões na Harmonic, startup fundada por Vlad Tenev (ex-Robinhood) em 2023, que desenvolve algoritmos de “superinteligência matemática” com valuation de US$ 1,45 bilhão.
O modelo Aristotle usa provas formais em Lean4 e alcançou medalha de ouro na Olimpíada Internacional de Matemática 2025, prometendo eliminar hallucinações em aplicações críticas.
Como funciona: o Aristotle constrói cadeias de inferência verificadas, gera certificados digitais e garante que cada resposta matemática passe por verificadores Lean4 antes de ser exposta a usuários corporativos.
Inteligência verificada vira diferencial competitivo
Clientes em finanças e aeroespacial exigem garantias formais para decisões automatizadas; a Harmonic entrega e registra o histórico de provas em blockchain privado.
Investimento da Nvidia acelera mercado confiável
US$ 120 milhões da Nvidia somam-se aos US$ 295 milhões já captados pela Harmonic e abrem portas para integração com GPUs especializados.
A startup planeja testar Aachen, plataforma de verificação, junto a parceiros industriais e open-source communities.
O que isso significa
Para C-levels: IA confiável deixa de ser diferencial futurista e vira requisito para compliance em setores críticos.
Para investidores: observe a transição de LLMs generalistas para modelos baseados em provas formais e o potencial de monetização por audit trails.
O que observar: pilotos em bancos e fabricantes aeroespaciais, bem como indicadores de adoção de Lean4 nos repositórios do GitHub da Harmonic.
Em resumo: Nvidia está subindo aposta na Harmonic para levar IA matemática certificada ao mercado, abrindo caminho para aplicações onde erro custa muito caro.