A IA Escreve Código com Falhas. Uma Startup do Vale do Silício Quer Corrigir Isso

A Axiom levantou uma rodada Série A de US$ 200 milhões, com uma avaliação de US$ 1,6 bilhão, liderada pela Menlo Ventures, um ano após sua fundação e com aproximadamente 20 funcionários. O objetivo é construir o que chama de Verified AI : sistemas que produzem resultados formalmente verificados na linguagem de programação Lean, onde cada etapa de raciocínio pode ser verificada por máquina e erros são detectados de forma determinística, em vez de estatística.

A empresa inicialmente treinou em provas matemáticas e depois transferiu essa habilidade para a verificação de código , uma técnica que permite provar não apenas que o código gera saídas corretas, mas também que não criará superfícies de ataque inesperadas.