Predstavlja AWS
Autonomni agenti sažimaju rokove isporuke softvera s tjedana na dane. Poduzeća koja sigurno skaliraju agente bit će ona koja grade koristeći razvoj vođen specifikacijama.
Postoji trenutak u svakom tehnološkom pomaku u kojem oni koji su ga rano usvojili prestaju biti odmetnici i počinju biti baza. U tom smo trenutku u razvoju softvera, a većina timova to još ne shvaća.
Prije godinu dana vibe kodiranje postalo je viralno. Neprogrameri i mlađi programeri otkrili su da mogu graditi iznad svojih sposobnosti pomoću AI. Spustio je pod. To je znatno ubrzalo izradu prototipova, ali je također uvelo višak prljavštine. Ono što je industriji tada trebalo bilo je nešto što je podiglo strop – nešto što je poboljšalo kvalitetu koda i radilo na način na koji rade najstručniji programeri. Razvoj vođen specifikacijama je to učinio. Postavio je temelj za pouzdane autonomne agente za kodiranje.
Sadržaj objave
Specifikacije su model povjerenja za autonomni razvoj
Većina rasprava o kodu generiranom umjetnom inteligencijom fokusira se na to može li umjetna inteligencija pisati kod. Teže je pitanje možete li mu vjerovati. Odgovor se provlači izravno kroz specifikaciju.
Razvoj vođen specifikacijama počinje varljivo jednostavnom idejom: prije nego što agent umjetne inteligencije napiše jednu liniju koda, radi na temelju strukturirane specifikacije bogate kontekstom koja definira što bi sustav trebao raditi, koja su njegova svojstva i što "ispraviti" zapravo znači. Ta je specifikacija artefakt protiv kojeg se agent zalaže tijekom cijelog razvojnog procesa — bitno različit od pristupa AI-ju prije agenta pisanju dokumentacije nakon činjenice.
Poslovni timovi grade na ovim temeljima. Tim Kiro IDE koristio je Kiro za izgradnju Kiro IDE — okruženja za agentsko kodiranje s nativnim razvojem vođenim specifikacijama — režući značajke izgradnje od dva tjedna do dva dana. Inženjerski tim AWS-a završio je 18-mjesečni projekt rearhitekture, koji je izvorno bio predviđen za 30 programera, sa šest ljudi u 76 dana koji su koristili Kiro. Inženjerski tim Amazon.com uveo je “Dodaj u isporuku” — značajku koja kupcima omogućuje dodavanje artikala nakon naplate — dva mjeseca prije planiranog roka koristeći Kiro i razvoj vođen specifikacijama. Alexa+, Amazon Finance, Amazon Stores, AWS, Fire TV, Last Mile Delivery, Prime Video i drugi svi integriraju razvoj vođen specifikacijama kao dio svojih pristupa izgradnji.
Taj pomak mijenja sve nizvodno.
Provjerljivo testiranje ono je što autonomne agente čini sigurnima za rad
Specifikacija postaje automatizirani mehanizam za ispravnost. Kada programer generira 150 prijava tjedno uz pomoć umjetne inteligencije, nijedan čovjek ne može ručno pregledati tu količinu koda. Umjesto toga, kod izgrađen prema konkretnoj specifikaciji može se provjeriti putem testiranja temeljenog na svojstvima i neurosimboličkih AI tehnika koje automatski generiraju stotine testnih slučajeva izvedenih izravno iz specifikacije, ispitujući rubne slučajeve niti jednom čovjeku ne bi palo na pamet pisati rukom. Ovi testovi dokazuju da kod zadovoljava svojstva definirana specifikacijom, nadilazeći rukom pisane pakete testova za dokazivo ispravno ponašanje.
Provjerljivo testiranje omogućuje prijelaz s jednokratnog programiranja na kontinuirani autonomni razvoj. Tradicionalni razvoj uz pomoć umjetne inteligencije funkcionira kao jedan pokušaj: agentu date specifikaciju, agent proizvodi izlaz i proces završava. Današnji agenti neprestano se ispravljaju, ubacujući greške u izradi i testiranju natrag u vlastito razmišljanje, generirajući dodatne testove za ispitivanje vlastitog izlaza i ponavljajući sve dok ne proizvedu nešto što je i funkcionalno i provjerljivo. Specifikacija je sidro koje sprječava da se petlja povuče. Umjesto da programeri stalno provjeravaju donosi li agent ispravne odluke, agent se može provjeriti u skladu sa specifikacijom kako bi se uvjerio da je na pravom putu.
Autonomni agent budućnosti će napisati vlastite specifikacije, koristeći specifikacije kao mehanizam za samoispravljanje, za provjeru, za osiguranje da ono što proizvodi odgovara planiranom ponašanju sustava.
Multi-agent, autonoman i trenutno radi
Programeri koji danas postavljaju tempo rade na bitno drugačiji način. Programeri troše dosta vremena na izgradnju svojih specifikacija, kao i na pisanje upravljačkih datoteka koje koristi specifikacija kako bi bili sigurni da agent zna što i kako izgraditi – više vremena nego što njihov agent može potrošiti na izradu stvarnog softvera. Oni pokreću više agenata paralelno kako bi kritizirali problem iz različitih perspektiva, kao i pokreću više specifikacija, od kojih je svaka napisana za drugu komponentu sustava koju grade. Puštaju agente da rade satima, ponekad danima. Koriste tisuće Kiro kredita jer učinak to opravdava.
Prije godinu dana agenti bi izgubili kontekst i raspali se nakon 20 minuta. Sada ih svaki tjedan možete izvoditi dulje nego tjedan prije. Sposobnosti agenta značajno su se poboljšale u posljednjih šest mjeseci da se istinski složeni problemi mogu riješiti. Noviji LLM-ovi učinkovitiji su u pogledu tokena od prethodne generacije, tako da za istu potrošnju možete učiniti znatno više.
Izazov je u tome što je za dobro obavljanje ovoga potrebna duboka stručnost. Alati, metodologije i infrastruktura postoje, ali njihovo je orkestriranje teško. Cilj s Kirom je donijeti ove mogućnosti uz duboku stručnost svakom programeru, a ne samo onih jedan posto najboljih koji su to shvatili.
Infrastruktura sustiže ambicije
Agenti će biti deset puta sposobniji u roku od godinu dana. To je stopa poboljšanja koju vidimo iz tjedna u tjedan.
Infrastruktura koja podržava tu razinu sposobnosti istovremeno se spaja. Agenti sada rade u oblaku, a ne lokalno, izvršavajući se paralelno u velikom broju uz sigurnu, pouzdanu komunikaciju između agentskih sustava. Organizacije sada mogu pokrenuti agentska radna opterećenja na način na koji bi pokrenule bilo koji distribuirani sustav poslovne razine — s upravljanjem, kontrolom troškova i jamstvima pouzdanosti koje zahtijeva ozbiljan softver. Razvoj vođen specifikacijama je arhitektura autonomnih sustava sutrašnjice.
Programeri više nisu ograničeni načinom na koji žele riješiti problem. Programeri koji napreduju u ovom svijetu su oni koji sada grade te temelje: koristeći razvoj vođen specifikacijama, dajući prioritet testiranju i provjeri od samog početka, radeći s agentima kao suradnicima i razmišljajući u sustavima umjesto u sintaksi.
Deepak Singh je potpredsjednik Kiroa u AWS-u.
Sponzorirani članci su sadržaji koje proizvodi tvrtka koja ili plaća za objavu ili ima poslovni odnos s VentureBeatom i uvijek su jasno označeni. Za više informacija kontaktirajte sales@venturebeat.com.