Startups apostam em IA para verificação formal de código
Empresas usam inteligência artificial para automatizar a verificação formal de softwares e reduzir custos, enquanto especialistas apontam limitações.
Resumo rápido
- Pesquisadores e startups utilizam inteligência artificial para automatizar a verificação formal de código e tentar reduzir custos e tempo de desenvolvimento.
- Especialistas apontam limitações da tecnologia, destacando que ela ainda está em estágio de prototipagem e depende de suposições.
Entenda o contexto
A verificação formal utiliza métodos matemáticos rigorosos para provar propriedades de softwares. Com o avanço da inteligência artificial, empresas buscam automatizar esse processo complexo e demorado, gerando debates na indústria sobre custos, escalabilidade e limitações práticas.
O avanço da verificação formal com inteligência artificial
Segundo reportagem da Wired, pesquisadores de Stanford desenvolveram uma ferramenta de IA capaz de concluir um projeto de engenharia em menos de meio dia e por menos de US$ 500. O resultado despertou interesse em um campo voltado ao uso de matemática para provar que códigos de software estão livres de falhas, conhecido como verificação formal.
Investimentos e iniciativas no setor
Startups como a &Truth, que recebeu US$ 70 milhões de investidores, buscam tornar a verificação formal mais prática com o uso de inteligência artificial. A concorrente Harmonic anunciou que seu agente de IA Aristotle passa a suportar a verificação de softwares escritos em C e projetos em Verilog. Além disso, Anthropic e a startup Theorem informaram o uso de IA para auxiliar na localização de bugs em software de código aberto.
Limitações e perspectivas
Apesar do entusiasmo e dos investimentos, especialistas apontam que a tecnologia está em estágio de prototipagem e enfrenta incertezas sobre adoção comercial e custos. Críticos relembram que a verificação formal depende de suposições sobre a interação entre humanos e computadores, não substituindo testes exaustivos.
Para conferir outras iniciativas do setor, acesse Lovable atinge US$ 600 milhões em receita anualizada com vibe coding.
Referências
- Reportagem consultada: Wired — IA
Links para conferência: não indicam endosso das fontes ao conteúdo do portal.
Gostou? Compartilhe:
Comentários 0
Ninguém comentou ainda. Seja o primeiro!
