Kotlini looja uus keel: ametlik viis rääkida LLM-idega inglise keele asemel

Viip kui programm: uus keel tehisintellekti ajastul

Aastaid on suurte keelemudelitega (LLM) suhtlemine tundunud suure panusega vestlusena võõrkeeles. Koostame üksikasjalikke ingliskeelseid vihjeid, lootes parimat, kuid seisame sageli silmitsi ebajärjekindluse, ebaselguse ja masendava täpsuse puudumisega. Kotlini looja, JetBrainsi Andrey Breslav, on selle probleemi radikaalse lahenduse eestvedaja. Tema meeskond töötab välja uut programmeerimiskeelt, esialgse nimega "Kira", mis on mõeldud mitte arvutitega rääkimiseks traditsioonilises tähenduses, vaid AI-ga rääkimiseks. See käik annab märku paradigma muutusest: mitteametlikult küsimiselt formaalsele käivitatavale spetsifikatsioonile. Ettevõtete jaoks, kes kasutavad tehisintellekti sellistel platvormidel nagu Mewayz, võib see areng muuta kaootilise tehisintellekti eksperimenteerimise modulaarse ärioperatsioonisüsteemi usaldusväärseks versioonikontrollitud komponendiks.

Miks ingliskeelsed viibad äriloogikast ebaõnnestuvad

Kuigi loomulik keel on intuitiivne, on see keerukate ülesannete puhul kurikuulsalt ebatäpne. Juhend nagu "analüüsige selle kvartali müüki ja koostage kokkuvõte" jätab palju tõlgendamisruumi. Mis mõõdikud? Mis formaadis? Millise baastasemega võrreldes? See ebaselgus toob kaasa:

• Mittedeterministlikud väljundid: sama viip võib anda erinevaid tulemusi, katkestades automatiseeritud töövood.
• Kehv hooldatavus: "Kiire inseneritöö" hõlmab sageli habraste tekstistringide kohandamist ilma selge kontrolljäljeta.
• Varjatud keerukus: mitmeastmeline arutluskäik või andmete range vormindamine on väga tülikas kirjeldada lihtsas inglise keeles.
• Integratsiooniprobleemid: loomulikku keeleviipa on keeruline deterministlikuks tarkvaraprotsessiks siduda, mis on sellise platvormi nagu Mewayz põhinõue, kus moodulid peavad usaldusväärselt koos töötama.

Ametlikud spetsifikatsioonid usaldusväärsete AI-interaktsioonide jaoks

Breslavi visioon Kiraga on luua keel, kus arendajad saavad kirjutada LLM-i jaoks selgeid, struktureeritud ja testitavaid spetsifikatsioone. Soovitusliku lõigu asemel kirjutage formaalne juhiste komplekt, mis määratleb ülesande piirangud, eeldatava väljundstruktuuri ja isegi varukäitumise. Mõelge sellele kui kullerile ebamääraste juhiste andmiselt täpse, masinloetava GPS-marsruudi koos määratletud kontrollpunktidega pakkumisele. See formaalne lähenemine tagab, et AI-agent, kelle ülesandeks on Mewayzi töövoo raames (nt meilidest arvete andmete eraldamine ja andmebaasi sisestamine) töötab prognoositava struktuuriga, muutes selle väljundi usaldusväärseks sisendiks ahela järgmise mooduli jaoks.

"Põhiidee on muuta viipad komponeeritavaks, testitavaks ja hallatavaks... See on LLM-iga suhtlemise õigeks tarkvaratehniliseks artefaktiks muutmine." – Andrey Breslav uue keele motivatsioonist.

Mõjud moodulärisüsteemidele nagu Mewayz

Võimalik mõju ärisüsteemi OS-i platvormidele on sügav. Mewayzis, kus erinevad ärifunktsioonid (CRM, projektijuhtimine, arveldamine) eksisteerivad omavahel ühendatud moodulitena, võib tehisintellekt toimida intelligentse sidekoena. LLM-ide ametlik keel võimaldaks neid AI-ga täiendatud ühendusi luua tugevate, juurutavate komponentidena. Arendaja võib näiteks kirjutada "Kira" skripti, mis määratleb klienditoe triaažiagendi: täpsustades, kuidas klassifitseerida pileti kavatsust, eraldada võtmeüksused ja vormindada piletimüügimooduli jaoks struktureeritud JSON-i kasulikku koormust. Sellest skriptist saab Mewayzi ökosüsteemis versiooniga juhitav silutav vara, mitte viipakasti peidetud maagiline loits. See muudab AI loomingulisest, kuid ebausaldusväärsest partnerist ametlikuks ja toimivaks mootoriks.

Tulevik: kiirest meisterdamisest tehisintellekti programmeerimiseni

Kuigi see kontseptsioon on alles arendusjärgus, kuulutab see tulevikku, kus "AI programmeerimine" on omaette distsipliin. Eesmärk ei ole kaotada loomulikku keelt – see on alati suurepärane lähtepunkt –, vaid luua range sild inimlike kavatsuste ja masinate täitmise vahel. Ettevõtete jaoks tähendab see, et LLM-ide võimsad võimalused saab lõpuks tarkvaratasemel töökindlusega põhiprotsessidesse integreerida. Platvormid, mis seda nihet hõlmavad, nagu Mewayz, võimaldavad nende kasutajatel ehitada mitte ainult tehisintellektiga, vaid lisaks sellele, luues tõeliselt intelligentseid ja automatiseeritavaid ärisüsteeme, kus iga suhtlus, isegi närvivõrguga, on selgelt ja eesmärgipäraselt määratletud.

Korduma kippuvad küsimused

Viip kui programm: uus keel tehisintellekti ajastul

Aastaid on suurte keelemudelitega (LLM) suhtlemine tundunud suure panusega vestlusena võõrkeeles. Koostame üksikasjalikke ingliskeelseid vihjeid, lootes parimat, kuid seisame sageli silmitsi ebajärjekindluse, ebaselguse ja masendava täpsuse puudumisega. Kotlini looja, JetBrainsi Andrey Breslav, on selle probleemi radikaalse lahenduse eestvedaja. Tema meeskond töötab välja uut programmeerimiskeelt, esialgse nimega "Kira", mis on mõeldud mitte arvutitega rääkimiseks traditsioonilises tähenduses, vaid AI-ga rääkimiseks. See käik annab märku paradigma muutusest: mitteametlikult küsimiselt formaalsele käivitatavale spetsifikatsioonile. Ettevõtete jaoks, kes kasutavad tehisintellekti sellistel platvormidel nagu Mewayz, võib see areng muuta kaootilise tehisintellekti eksperimenteerimise modulaarse ärioperatsioonisüsteemi usaldusväärseks versioonikontrollitud komponendiks.

Miks ingliskeelsed juhised äriloogikast ebaõnnestuvad

Kuigi loomulik keel on intuitiivne, on see keerukate ülesannete puhul kurikuulsalt ebatäpne. Juhend nagu "analüüsige selle kvartali müüki ja koostage kokkuvõte" jätab palju tõlgendamisruumi. Mis mõõdikud? Mis formaadis? Millise baastasemega võrreldes? See ebaselgus toob kaasa:

Ametlikud spetsifikatsioonid usaldusväärsete tehisintellekti interaktsioonide jaoks

Breslavi visioon Kiraga on luua keel, kus arendajad saavad kirjutada LLM-i jaoks selgeid, struktureeritud ja testitavaid spetsifikatsioone. Soovitusliku lõigu asemel kirjutage formaalne juhiste komplekt, mis määratleb ülesande piirangud, eeldatava väljundstruktuuri ja isegi varukäitumise. Mõelge sellele kui kullerile ebamääraste juhiste andmiselt täpse, masinloetava GPS-marsruudi koos määratletud kontrollpunktidega pakkumisele. See formaalne lähenemine tagab, et AI-agent, kelle ülesandeks on Mewayzi töövoo raames (nt meilidest arvete andmete eraldamine ja andmebaasi sisestamine) töötab prognoositava struktuuriga, muutes selle väljundi usaldusväärseks sisendiks ahela järgmise mooduli jaoks.

Mõjud moodulärisüsteemidele nagu Mewayz

Võimalik mõju ärisüsteemi OS-i platvormidele on sügav. Mewayzis, kus erinevad ärifunktsioonid (CRM, projektijuhtimine, arveldamine) eksisteerivad omavahel ühendatud moodulitena, võib tehisintellekt toimida intelligentse sidekoena. LLM-ide ametlik keel võimaldaks neid AI-ga täiendatud ühendusi luua tugevate, juurutavate komponentidena. Arendaja võib näiteks kirjutada "Kira" skripti, mis määratleb klienditoe triaažiagendi: täpsustades, kuidas klassifitseerida pileti kavatsust, eraldada võtmeüksused ja vormindada piletimüügimooduli jaoks struktureeritud JSON-i kasulikku koormust. Sellest skriptist saab Mewayzi ökosüsteemis versiooniga juhitav silutav vara, mitte viipakasti peidetud maagiline loits. See muudab AI loomingulisest, kuid ebausaldusväärsest partnerist ametlikuks ja toimivaks mootoriks.

Tulevik: kiirest meisterdamisest tehisintellekti programmeerimiseni

Kuigi see kontseptsioon on alles arendusjärgus, kuulutab see tulevikku, kus "AI programmeerimine" on omaette distsipliin. Eesmärk ei ole kaotada loomulikku keelt – see on alati suurepärane lähtepunkt –, vaid luua range sild inimlike kavatsuste ja masinate täitmise vahel. Ettevõtete jaoks tähendab see, et LLM-ide võimsad võimalused saab lõpuks tarkvaratasemel töökindlusega põhiprotsessidesse integreerida. Platvormid, mis seda nihet hõlmavad, nagu Mewayz, võimaldavad nende kasutajatel ehitada mitte ainult tehisintellektiga, vaid lisaks sellele, luues tõeliselt intelligentseid ja automatiseeritavaid ärisüsteeme, kus iga suhtlus, isegi närvivõrguga, on selgelt ja eesmärgipäraselt määratletud.