A Amazon Net Companies está adicionando um recurso à sua ferramenta de codificação Kiro AI projetada para provar matematicamente que os requisitos de software program estão livres de contradições e lacunas antes de qualquer código ser escrito, abordando um dos principais riscos do desenvolvimento de software program assistido por IA.
O recurso, chamado Análise de Requisitos, foi projetado para detectar os tipos de bugs que muitas vezes podem ser os mais difíceis de detectar e os mais caros de corrigir – problemas que começam não no código resultante, mas nos requisitos iniciais que definem o que o software program deve fazer.
O anúncio na manhã de terça-feira ocorre três meses depois que a Amazon rejeitou publicamente um relatório do Monetary Instances de que suas ferramentas de codificação de IA contribuíram para interrupções da AWS, um episódio que destacou os riscos de dar aos agentes de IA muita autonomia no desenvolvimento de software program.
Também acontece um dia depois que a AWS contratou o ex-executivo da Microsoft Shawn Bice para retornar à Amazon como vice-presidente de serviços de IA liderando seu Automated Reasoning Group, a equipe por trás do novo recurso. Bice se reportará a Swami Sivasubramanian, vice-presidente de Agentic AI da Amazon.
A Análise de Requisitos combina grandes modelos de linguagem com um mecanismo de raciocínio automatizado chamado solucionador SMT. O LLM traduz os requisitos da linguagem pure em lógica formal.
O solucionador então verifica esses requisitos provando matematicamente se eles se contradizem ou deixam lacunas que poderiam ser preenchidas erroneamente pela ferramenta de codificação de IA – um problema comum, pois a IA gera cada vez mais software program mais rápido do que os desenvolvedores podem revisá-lo.
“Cada immediate vago produz uma especificação ou plano vago, e o agente de IA que implementa essa especificação produz código cheio de decisões não divulgadas tomadas em seu nome, sem o seu conhecimento ou acordo”, escreveram cientistas aplicados da AWS em uma postagem no blog acompanhando a notícia.
Kiro compete em um mercado lotado e em rápido crescimento de ferramentas de codificação de IA que inclui Cursor, GitHub Copilot, Claude Code da Anthropic, Antigravity do Google e Codex da OpenAI.
Embora essas ferramentas tenham adicionado cada vez mais planejamento e fluxos de trabalho de agente junto com a geração de código, Kiro construiu sua identidade em torno de uma abordagem de especificação que exige que os desenvolvedores formalizem suas intenções antes que a IA comece a ser construída.
AWS também anunciado dois outros recursos do Kiro projetados para acelerar o processo de desenvolvimento.
- O Parallel Activity Execution executa tarefas de codificação independentes simultaneamente, em vez de sequencialmente, reduzindo o tempo de implementação de grandes projetos em cerca de 75 por cento, de acordo com a empresa.
- A AWS afirma que um novo modo Fast Plan permite que os desenvolvedores pulem o processo de aprovação passo a passo para recursos bem compreendidos, gerando um conjunto completo de requisitos, design e tarefas em uma única passagem.
ANTERIORMENTE: Sucesso indie surpresa da Amazon: Kiro é lançado amplamente na tentativa de remodelar o desenvolvimento de software program baseado em IA
