Nauja Kotlin kūrėjo kalba: formalus būdas kalbėtis su LLM, o ne anglų kalba

Raginimas kaip programa: nauja AI amžiaus kalba

Jau daugelį metų bendravimas su dideliais kalbų modeliais (LLM) atrodė kaip didelis pokalbis užsienio kalba. Kuriame įmantrius angliškus raginimus, tikėdamiesi geriausio, bet dažnai susiduriame su nenuoseklumu, dviprasmiškumu ir varginančiu tikslumo trūkumu. Kotlin kūrėjas, JetBrains Andrejus Breslavas, vadovauja radikaliam šios problemos sprendimui. Jo komanda kuria naują programavimo kalbą, preliminariai vadinamą „Kira“, skirtą ne kalbėtis su kompiuteriais tradicine prasme, o kalbėtis su AI. Šis žingsnis rodo paradigmos pokytį: nuo neformalaus raginimo prie formalios, vykdomos specifikacijos. Įmonėms, naudojančioms dirbtinį intelektą tokiose platformose kaip „Mewayz“, ši evoliucija gali paversti chaotiškus AI eksperimentus į patikimą, versijos valdomą modulinės verslo operacinės sistemos komponentą.

Kodėl anglų kalbos raginimai neveikia verslo logikos

Nors natūrali kalba yra intuityvi, ji yra žinoma netiksli atliekant sudėtingas užduotis. Tokios instrukcijos kaip „išanalizuokite šio ketvirčio pardavimus ir sukurkite suvestinę“ palieka daug erdvės interpretacijoms. Kokios metrikos? Koks formatas? Palyginti su kokia bazine linija? Šis dviprasmiškumas lemia:

• Nedeterministiniai išėjimai: tas pats raginimas gali duoti skirtingus rezultatus ir sulaužyti automatines darbo eigas.
• Prastas techninis aptarnavimas: „Sparti inžinerija“ dažnai apima trapių teksto eilučių koregavimą be aiškios audito sekos.
• Paslėptas sudėtingumas: kelių žingsnių samprotavimas arba griežtas duomenų formatavimas yra neįtikėtinai sudėtingas apibūdinti paprasta anglų kalba.
• Integravimo iššūkiai: sunku sklandžiai įvesti natūralios kalbos raginimą į deterministinį programinės įrangos procesą – tai pagrindinis reikalavimas tokiai platformai kaip „Mewayz“, kurioje moduliai turi patikimai veikti.

Oficialios patikimos AI sąveikos specifikacijos

Breslavo vizija kartu su Kira yra sukurti kalbą, kurioje kūrėjai galėtų parašyti aiškias, struktūrizuotas ir patikrinamas LLM specifikacijas. Vietoj įtaigios pastraipos turėtumėte parašyti formalų instrukcijų rinkinį, kuris apibrėžia užduoties apribojimus, numatomą išvesties struktūrą ir net atsarginę elgseną. Pagalvokite apie tai kaip perėjimą nuo neaiškių nurodymų teikimo kurjeriui prie tikslaus, mašininio nuskaitymo GPS maršruto su apibrėžtais kontroliniais taškais pateikimo. Šis formalus metodas užtikrina, kad dirbtinio intelekto agentas, kuriam pavesta atlikti „Mewayz“ darbo eigą, pvz., išgauti sąskaitų faktūrų duomenis iš el. laiškų ir pildyti duomenų bazę, vykdytų nuspėjamą struktūrą, todėl jo išvestis yra patikima įvestis kitam grandinės moduliui.

„Pagrindinė idėja yra padaryti raginimus sudaromus, išbandytus ir valdomus... Tai, kad ši sąveika su LLM taptų tinkamu programinės įrangos inžinerijos artefaktu. – Andrejus Breslavas apie naujosios kalbos motyvaciją.

Poveikis tokioms modulinėms verslo sistemoms kaip „Mewayz“

Galimas poveikis verslo OS platformoms yra didžiulis. Mewayz, kur įvairios verslo funkcijos (CRM, projektų valdymas, atsiskaitymas) egzistuoja kaip tarpusavyje susiję moduliai, AI gali veikti kaip išmanusis jungiamasis audinys. Oficiali LLM kalba leistų šiuos AI papildytus ryšius sukurti kaip tvirtus, diegiamus komponentus. Pavyzdžiui, kūrėjas gali parašyti „Kira“ scenarijų, kuris apibrėžia klientų palaikymo tarpininką: nurodydamas, kaip klasifikuoti bilieto tikslą, išskirti pagrindinius objektus ir suformatuoti struktūrizuotą JSON naudingąjį apkrovą bilietų pardavimo moduliui. Šis scenarijus tampa versijos valdomu, derinamu turtu Mewayz ekosistemoje, o ne magišku užkeikimu, paslėptu raginimo laukelyje. Tai paverčia dirbtinį intelektą iš kūrybingo, bet nepatikimo partnerio į formalizuotą, veikiančią variklį.

Ateitis: nuo greito kūrimo iki dirbtinio intelekto programavimo

Nors ši koncepcija dar tik kuriama, ji pranašauja ateitį, kurioje „AI programavimas“ yra atskira disciplina. Tikslas yra ne panaikinti natūralią kalbą – ji visada bus puikus atspirties taškas, o sukurti tvirtą tiltą tarp žmogaus ketinimų ir mašinos vykdymo. Įmonėms tai reiškia, kad galingos LLM galimybės pagaliau gali būti integruotos į pagrindinius procesus su programinės įrangos lygio patikimumu. Platformos, apimančios šį pokytį, pvz., „Mewayz“, leis jų naudotojams kurti ne tik dirbtinį intelektą, bet ir dirbtinį intelektą, sukurdamos tikrai protingas ir automatizuojamas verslo sistemas, kuriose kiekviena sąveika, net ir su neuroniniu tinklu, yra apibrėžta aiškiai ir tiksliai.

Dažniausiai užduodami klausimai

Raginimas kaip programa: nauja AI amžiaus kalba

Jau daugelį metų bendravimas su dideliais kalbų modeliais (LLM) atrodė kaip didelis pokalbis užsienio kalba. Kuriame įmantrius angliškus raginimus, tikėdamiesi geriausio, bet dažnai susiduriame su nenuoseklumu, dviprasmiškumu ir varginančiu tikslumo trūkumu. Kotlin kūrėjas, JetBrains Andrejus Breslavas, vadovauja radikaliam šios problemos sprendimui. Jo komanda kuria naują programavimo kalbą, preliminariai vadinamą „Kira“, skirtą ne kalbėtis su kompiuteriais tradicine prasme, o kalbėtis su AI. Šis žingsnis rodo paradigmos pokytį: nuo neformalaus raginimo prie formalios, vykdomos specifikacijos. Įmonėms, naudojančioms dirbtinį intelektą tokiose platformose kaip „Mewayz“, ši evoliucija gali paversti chaotiškus AI eksperimentus į patikimą, versijos valdomą modulinės verslo operacinės sistemos komponentą.

Kodėl anglų kalbos raginimai neveikia verslo logikos

Nors natūrali kalba yra intuityvi, ji yra žinoma netiksli atliekant sudėtingas užduotis. Tokios instrukcijos kaip „išanalizuokite šio ketvirčio pardavimus ir sukurkite suvestinę“ palieka daug erdvės interpretacijoms. Kokios metrikos? Koks formatas? Palyginti su kokia bazine linija? Šis dviprasmiškumas lemia:

Oficialios patikimos AI sąveikos specifikacijos

Breslavo vizija kartu su Kira yra sukurti kalbą, kurioje kūrėjai galėtų parašyti aiškias, struktūrizuotas ir patikrinamas LLM specifikacijas. Vietoj įtaigios pastraipos turėtumėte parašyti formalų instrukcijų rinkinį, kuris apibrėžia užduoties apribojimus, numatomą išvesties struktūrą ir net atsarginę elgseną. Pagalvokite apie tai kaip perėjimą nuo neaiškių nurodymų teikimo kurjeriui prie tikslaus, mašininio nuskaitymo GPS maršruto su apibrėžtais kontroliniais taškais pateikimo. Šis formalus metodas užtikrina, kad dirbtinio intelekto agentas, kuriam pavesta atlikti „Mewayz“ darbo eigą, pvz., išgauti sąskaitų faktūrų duomenis iš el. laiškų ir pildyti duomenų bazę, vykdytų nuspėjamą struktūrą, todėl jo išvestis yra patikima įvestis kitam grandinės moduliui.

Poveikis tokioms modulinėms verslo sistemoms kaip „Mewayz“

Galimas poveikis verslo OS platformoms yra didžiulis. Mewayz, kur įvairios verslo funkcijos (CRM, projektų valdymas, atsiskaitymas) egzistuoja kaip tarpusavyje susiję moduliai, AI gali veikti kaip išmanusis jungiamasis audinys. Oficiali LLM kalba leistų šiuos AI papildytus ryšius sukurti kaip tvirtus, diegiamus komponentus. Pavyzdžiui, kūrėjas gali parašyti „Kira“ scenarijų, kuris apibrėžia klientų palaikymo tarpininką: nurodydamas, kaip klasifikuoti bilieto tikslą, išskirti pagrindinius objektus ir suformatuoti struktūrizuotą JSON naudingąjį apkrovą bilietų pardavimo moduliui. Šis scenarijus tampa versijos valdomu, derinamu turtu Mewayz ekosistemoje, o ne magišku užkeikimu, paslėptu raginimo laukelyje. Tai paverčia dirbtinį intelektą iš kūrybingo, bet nepatikimo partnerio į formalizuotą, veikiančią variklį.

Ateitis: nuo greito kūrimo iki dirbtinio intelekto programavimo

Nors ši koncepcija dar tik kuriama, ji pranašauja ateitį, kurioje „AI programavimas“ yra atskira disciplina. Tikslas yra ne panaikinti natūralią kalbą – ji visada bus puikus atspirties taškas, o sukurti tvirtą tiltą tarp žmogaus ketinimų ir mašinos vykdymo. Įmonėms tai reiškia, kad galingos LLM galimybės pagaliau gali būti integruotos į pagrindinius procesus su programinės įrangos lygio patikimumu. Platformos, apimančios šį pokytį, pvz., „Mewayz“, leis jų naudotojams kurti ne tik dirbtinį intelektą, bet ir dirbtinį intelektą, sukurdamos tikrai protingas ir automatizuojamas verslo sistemas, kuriose kiekviena sąveika, net ir su neuroniniu tinklu, yra apibrėžta aiškiai ir tiksliai.