Kotlin radītāja jaunā valoda: formāls veids, kā runāt ar LLM, nevis angļu valodā

Uzvedne kā programma: jauna valoda mākslīgā intelekta laikmetam

Jau gadiem ilgi mijiedarboties ar lielajiem valodu modeļiem (LLM) ir šķitis, ka saruna svešvalodā ir liela. Mēs izstrādājam sarežģītas uzvednes angļu valodā, cerot uz labāko, taču bieži sastopamies ar nekonsekvenci, neskaidrībām un kaitinošu precizitātes trūkumu. Kotlin radītājs, JetBrains Andrejs Breslavs, ir šīs problēmas radikāla risinājuma priekšgalā. Viņa komanda izstrādā jaunu programmēšanas valodu, provizoriski sauktu par "Kira", kas paredzēta nevis sarunām ar datoriem tradicionālajā izpratnē, bet gan sarunām ar AI. Šis solis norāda uz paradigmas maiņu: no neformālas pamudināšanas uz formālu, izpildāmu specifikāciju. Uzņēmumiem, kas izmanto AI tādās platformās kā Mewayz, šī evolūcija var pārveidot haotisko AI eksperimentēšanu par uzticamu, ar versiju kontrolētu modulāras biznesa operētājsistēmas komponentu.

Kāpēc angļu valodas uzvednes neizdodas biznesa loģikai

Lai gan dabiskā valoda ir intuitīva, tā ir bēdīgi neprecīza sarežģītiem uzdevumiem. Norādījums, piemēram, "analizēt šī ceturkšņa pārdošanas apjomu un izveidot kopsavilkumu", atstāj plašu interpretācijas iespēju. Kādi rādītāji? Kāds formāts? Salīdzinot ar kādu bāzes līniju? Šī neskaidrība noved pie:

• Nedeterministiski izvadi: viena un tā pati uzvedne var dot dažādus rezultātus, izjaucot automatizētās darbplūsmas.
• Slikta uzturēšana: “Ātra inženierija” bieži ietver trauslu teksta virkņu pielāgošanu bez skaidras audita pēdas.
• Slēpta sarežģītība: daudzpakāpju argumentāciju vai stingru datu formatējumu ir neticami apgrūtinoši aprakstīt vienkāršā angļu valodā.
• Integrācijas izaicinājumi: ir grūti nemanāmi apvienot dabiskās valodas uzvedni deterministiskā programmatūras procesā, kas ir galvenā prasība tādai platformai kā Mewayz, kur moduļiem ir jādarbojas uzticami.

Formālās specifikācijas uzticamai AI mijiedarbībai

Breslav vīzija ar Kira ir izveidot valodu, kurā izstrādātāji var rakstīt skaidras, strukturētas un pārbaudāmas LLM specifikācijas. Ieteikuma rindkopas vietā jūs uzrakstiet formālu instrukciju kopu, kas definē uzdevuma ierobežojumus, paredzamo izvades struktūru un pat atkāpšanās darbības. Uztveriet to kā pāreju no neskaidru norāžu sniegšanas kurjeram uz precīza, mašīnlasāma GPS maršruta nodrošināšanu ar noteiktiem kontrolpunktiem. Šī formālā pieeja nodrošina, ka AI aģents, kura uzdevums ir veikt Mewayz darbplūsmu, piemēram, izvilkt rēķinu datus no e-pastiem un aizpildīt datubāzi, izpilda paredzamu struktūru, padarot tā izvadi par uzticamu ievadi nākamajam ķēdes modulim.

"Pamatideja ir padarīt uzvednes saliekamas, pārbaudāmas un pārvaldāmas... Tas ir par to, lai šī mijiedarbība ar LLM kļūtu par pareizu programmatūras inženierijas artefaktu." – Andrejs Breslavs par jaunās valodas motivāciju.

Ietekme uz tādām moduļu biznesa sistēmām kā Mewayz

Iespējamā ietekme uz biznesa OS platformām ir liela. Mewayz, kur dažādas biznesa funkcijas (CRM, projektu vadība, norēķini) pastāv kā savstarpēji saistīti moduļi, AI var darboties kā viedais saistaudi. Formāla valoda LLM ļautu šos AI papildinātos savienojumus veidot kā stabilus, izvietojamus komponentus. Izstrādātājs varētu, piemēram, uzrakstīt "Kira" skriptu, kas definē klientu atbalsta šķirošanas aģentu: norādot, kā klasificēt biļešu nolūku, iegūt galvenās entītijas un formatēt strukturētu JSON lietderīgo slodzi biļešu pārdošanas modulim. Šis skripts kļūst par versijas kontrolētu, atkļūdojamu līdzekli Mewayz ekosistēmā, nevis maģisku burvestību, kas paslēpta uzvednes lodziņā. Tas pārvērš AI no radoša, bet neuzticama partnera par formalizētu, funkcionējošu dzinēju.

Nākotne: no tūlītējas izstrādes līdz AI programmēšanai

Kamēr šī koncepcija joprojām ir izstrādes sākumā, tā vēsta par nākotni, kurā "AI programmēšana" ir atsevišķa disciplīna. Mērķis nav likvidēt dabisko valodu — tas vienmēr būs lielisks sākumpunkts, bet gan nodrošināt stingru tiltu starp cilvēka nodomu un mašīnas izpildi. Uzņēmumiem tas nozīmē, ka LLM spēcīgās iespējas beidzot var integrēt pamatprocesos ar programmatūras līmeņa uzticamību. Platformas, kas ietver šo maiņu, piemēram, Mewayz, ļaus saviem lietotājiem veidot ne tikai ar AI, bet arī papildus AI, radot patiesi inteliģentas un automatizētas biznesa sistēmas, kurās katra mijiedarbība, pat ar neironu tīklu, tiek definēta skaidri un mērķtiecīgi.

Bieži uzdotie jautājumi

Uzvedne kā programma: jauna valoda mākslīgā intelekta laikmetam

Jau gadiem ilgi mijiedarboties ar lielajiem valodu modeļiem (LLM) ir šķitis, ka saruna svešvalodā ir liela. Mēs izstrādājam sarežģītas uzvednes angļu valodā, cerot uz labāko, taču bieži sastopamies ar nekonsekvenci, neskaidrībām un kaitinošu precizitātes trūkumu. Kotlin radītājs, JetBrains Andrejs Breslavs, ir šīs problēmas radikāla risinājuma priekšgalā. Viņa komanda izstrādā jaunu programmēšanas valodu, provizoriski sauktu par "Kira", kas paredzēta nevis sarunām ar datoriem tradicionālajā izpratnē, bet gan sarunām ar AI. Šis solis norāda uz paradigmas maiņu: no neformālas pamudināšanas uz formālu, izpildāmu specifikāciju. Uzņēmumiem, kas izmanto AI tādās platformās kā Mewayz, šī evolūcija var pārveidot haotisko AI eksperimentēšanu par uzticamu, ar versiju kontrolētu modulāras biznesa operētājsistēmas komponentu.

Kāpēc uzvednes angļu valodā nedarbojas ar biznesa loģiku

Lai gan dabiskā valoda ir intuitīva, tā ir bēdīgi neprecīza sarežģītiem uzdevumiem. Norādījums, piemēram, "analizēt šī ceturkšņa pārdošanas apjomu un izveidot kopsavilkumu", atstāj plašu interpretācijas iespēju. Kādi rādītāji? Kāds formāts? Salīdzinot ar kādu bāzes līniju? Šī neskaidrība noved pie:

Formālās specifikācijas uzticamai AI mijiedarbībai

Breslav vīzija ar Kira ir izveidot valodu, kurā izstrādātāji var rakstīt skaidras, strukturētas un pārbaudāmas LLM specifikācijas. Ieteikuma rindkopas vietā jūs uzrakstiet formālu instrukciju kopu, kas definē uzdevuma ierobežojumus, paredzamo izvades struktūru un pat atkāpšanās darbības. Uztveriet to kā pāreju no neskaidru norāžu sniegšanas kurjeram uz precīza, mašīnlasāma GPS maršruta nodrošināšanu ar noteiktiem kontrolpunktiem. Šī formālā pieeja nodrošina, ka AI aģents, kura uzdevums ir veikt Mewayz darbplūsmu, piemēram, izvilkt rēķinu datus no e-pastiem un aizpildīt datubāzi, izpilda paredzamu struktūru, padarot tā izvadi par uzticamu ievadi nākamajam ķēdes modulim.

Ietekme uz tādām moduļu biznesa sistēmām kā Mewayz

Iespējamā ietekme uz biznesa OS platformām ir liela. Mewayz, kur dažādas biznesa funkcijas (CRM, projektu vadība, norēķini) pastāv kā savstarpēji saistīti moduļi, AI var darboties kā viedais saistaudi. Formāla valoda LLM ļautu šos AI papildinātos savienojumus veidot kā stabilus, izvietojamus komponentus. Izstrādātājs varētu, piemēram, uzrakstīt "Kira" skriptu, kas definē klientu atbalsta šķirošanas aģentu: norādot, kā klasificēt biļešu nolūku, iegūt galvenās entītijas un formatēt strukturētu JSON lietderīgo slodzi biļešu pārdošanas modulim. Šis skripts kļūst par versijas kontrolētu, atkļūdojamu līdzekli Mewayz ekosistēmā, nevis maģisku burvestību, kas paslēpta uzvednes lodziņā. Tas pārvērš AI no radoša, bet neuzticama partnera par formalizētu, funkcionējošu dzinēju.

Nākotne: no tūlītējas izstrādes līdz AI programmēšanai

Kamēr šī koncepcija joprojām ir izstrādes sākumā, tā vēsta par nākotni, kurā "AI programmēšana" ir atsevišķa disciplīna. Mērķis nav likvidēt dabisko valodu — tas vienmēr būs lielisks sākumpunkts, bet gan nodrošināt stingru tiltu starp cilvēka nodomu un mašīnas izpildi. Uzņēmumiem tas nozīmē, ka LLM spēcīgās iespējas beidzot var integrēt pamatprocesos ar programmatūras līmeņa uzticamību. Platformas, kas ietver šo maiņu, piemēram, Mewayz, ļaus saviem lietotājiem veidot ne tikai ar AI, bet arī papildus AI, radot patiesi inteliģentas un automatizētas biznesa sistēmas, kurās katra mijiedarbība, pat ar neironu tīklu, tiek definēta skaidri un mērķtiecīgi.