Presentado por AWS
Los agentes autónomos están comprimiendo los plazos de entrega de software de semanas a días. Las empresas que escalen agentes de forma segura serán las que construyan utilizando un desarrollo basado en especificaciones.
Hay un momento en cada cambio tecnológico en el que los primeros usuarios dejan de ser valores atípicos y empiezan a ser la base. Estamos en ese momento de desarrollo de software y la mayoría de los equipos aún no se dan cuenta.
Hace un año, la codificación de vibraciones se volvió viral. Los no desarrolladores y los desarrolladores junior descubrieron que podían construir más allá de sus capacidades con la IA. Bajó el piso. Hizo que la creación de prototipos fuera mucho más rápida, pero también introdujo un exceso de basura. Lo que la industria necesitaba entonces era algo que elevara el techo, algo que mejorara la calidad del código y funcionara como lo hacen los desarrolladores más expertos. El desarrollo impulsado por especificaciones hizo eso. Sentó las bases para agentes de codificación autónomos confiables.
Las especificaciones son el modelo de confianza para el desarrollo autónomo
La mayoría de las discusiones sobre el código generado por IA se centran en si la IA puede escribir código. La pregunta más difícil es si puedes confiar en él. La respuesta pasa directamente por la especificación.
El desarrollo impulsado por especificaciones comienza con una idea engañosamente simple: antes de que un agente de IA escriba una sola línea de código, trabaja a partir de una especificación estructurada y rica en contexto que define lo que se supone que debe hacer el sistema, cuáles son sus propiedades y qué significa realmente «correcto». Esa especificación es un artefacto contra el cual el agente razona durante todo el proceso de desarrollo, fundamentalmente diferente de los enfoques de IA preagencial de escribir documentación después del hecho.
Los equipos empresariales se están construyendo sobre esta base. El equipo de Kiro IDE utilizó Kiro para crear Kiro IDE, un entorno de codificación agente con desarrollo nativo basado en especificaciones, reduciendo la compilación de funciones de dos semanas a dos días. Un equipo de ingeniería de AWS completó un proyecto de reestructuración de 18 meses, originalmente pensado para 30 desarrolladores, con seis personas en 76 días usando Kiro. Un equipo de ingeniería de Amazon.com lanzó «Agregar a la entrega», una función que permite a los compradores agregar artículos después del pago, dos meses antes de lo previsto utilizando Kiro y un desarrollo basado en especificaciones. Alexa+, Amazon Finance, Amazon Stores, AWS, Fire TV, Last Mile Delivery, Prime Video y más integran el desarrollo basado en especificaciones como parte de sus enfoques de construcción.
Ese cambio cambia todo aguas abajo.
Las pruebas verificables son lo que hace que la ejecución de agentes autónomos sea segura
La especificación se convierte en un motor de corrección automatizado. Cuando un desarrollador genera 150 registros por semana con asistencia de IA, ningún ser humano puede revisar manualmente ese volumen de código. En cambio, el código creado según una especificación concreta se puede verificar mediante pruebas basadas en propiedades y técnicas de inteligencia artificial neurosimbólica que generan automáticamente cientos de casos de prueba derivados directamente de la especificación, investigando casos extremos que a ningún ser humano se le ocurriría escribir a mano. Estas pruebas demuestran que el código satisface las propiedades definidas de la especificación, yendo mucho más allá de los conjuntos de pruebas escritas a mano para demostrar un comportamiento correcto.
Las pruebas verificables permiten el cambio de la programación única al desarrollo autónomo continuo. El desarrollo tradicional asistido por IA funciona de una sola vez: usted le da al agente una especificación, el agente produce un resultado y el proceso finaliza. Los agentes actuales se corrigen a sí mismos continuamente, alimentando los errores de compilación y prueba en su propio razonamiento, generando pruebas adicionales para probar su propia salida e iterando hasta que producen algo funcional y verificable. La especificación es el ancla que evita que ese bucle se desvíe. En lugar de que los desarrolladores controlen constantemente para ver si el agente está tomando las decisiones correctas, el agente puede compararse con las especificaciones para asegurarse de que está en el camino correcto.
El agente autónomo del futuro redactará sus propias especificaciones, utilizándolas como mecanismo de autocorrección, de verificación y de garantía de que lo que produce coincide con el comportamiento previsto del sistema.
Suscríbete y recibe las historias más importantes del día.
Al suscribirte aceptas nuestros términos y condiciones y política de privacidad.
Multiagente, autónomo y en funcionamiento ahora mismo
Los desarrolladores que marcan el ritmo hoy en día operan de una manera fundamentalmente diferente. Los desarrolladores dedican mucho tiempo a crear sus especificaciones, así como a escribir archivos de dirección utilizados por las especificaciones para asegurarse de que el agente sepa qué y cómo construir: más tiempo del que su agente puede dedicar a crear el software real. Ejecutan múltiples agentes en paralelo para criticar un problema desde diferentes perspectivas, así como también ejecutan múltiples especificaciones, cada una escrita para un componente diferente del sistema que están construyendo. Dejan que los agentes trabajen durante horas, a veces días. Usan miles de créditos Kiro porque el resultado lo justifica.
Hace un año, los agentes perdían el contexto y se desmoronaban después de 20 minutos. Ahora, cada semana puedes ejecutarlos por más tiempo que la semana anterior. Las capacidades de los agentes han mejorado significativamente en los últimos seis meses y los problemas genuinamente complejos son manejables. Los LLM más nuevos son más eficientes en términos de tokens que la generación anterior, por lo que por el mismo gasto, puedes hacer mucho más.
El desafío es que hacer esto bien requiere una gran experiencia. Las herramientas, metodologías e infraestructura existen, pero orquestarlas es difícil. El objetivo de Kiro es llevar estas capacidades con una profunda experiencia a cada desarrollador, no sólo al uno por ciento superior que lo ha descubierto.
La infraestructura está alcanzando la ambición
Los agentes serán diez veces más capaces dentro de un año. Ésa es la tasa de mejora que estamos viendo semana tras semana.
La infraestructura para soportar ese nivel de capacidad está convergiendo al mismo tiempo. Los agentes ahora se ejecutan en la nube en lugar de localmente, y se ejecutan en paralelo a escala con una comunicación segura y confiable entre los sistemas de agentes. Las organizaciones ahora pueden ejecutar cargas de trabajo agentes de la misma manera que ejecutarían cualquier sistema distribuido de nivel empresarial, con las garantías de gobernanza, controles de costos y confiabilidad que exige el software serio. El desarrollo basado en especificaciones es la arquitectura de los sistemas autónomos del mañana.
Los desarrolladores ya no están restringidos por cómo quieren resolver el problema. Los desarrolladores que prosperan en este mundo son los que construyen esa base ahora: utilizan el desarrollo basado en especificaciones, priorizan la capacidad de prueba y la verificación desde el principio, trabajan con agentes como colaboradores y piensan en sistemas en lugar de en sintaxis.
Deepak Singh es vicepresidente de Kiro en AWS.
Los artículos patrocinados son contenido producido por una empresa que paga por la publicación o tiene una relación comercial con VentureBeat, y siempre están claramente marcados. Para más información, póngase en contacto ventas@venturebeat.com.
