Pamirškite samprotavimo ažiotažą – tikroji DI revoliucija yra nuobodi ir nuspėjama

Technologijų pasaulis pastaruosius trejus metus buvo apsėstas idėjos padaryti DI modelius protingesnius. Mes džiaugėmės, kai jie išlaikydavo advokatūros egzaminus ir rašydavo poeziją, net kai jie retkarčiais haliucinuodavo faktus ar klysdavo atlikdami paprastus aritmetinius veiksmus. Vyraujantis pasakojimas teigia, kad jei tiesiog pridėsime daugiau duomenų ir daugiau skaičiavimo galios, šios skaitmeninės smegenys ilgainiui taps nepriekaištingos. Nors šis „daugiau yra geriau“ požiūris skamba logiškai, šiuolaikinės programinės įrangos kūrimo realybė pasakoja kitokią istoriją. Bankui, ligoninei ar logistikos įmonei samprotavimo modelis, kuris yra teisingas 95 % atvejų, dažnai yra blogesnis už paprastą skriptą, kuris yra teisingas 100 % atvejų. Būtent šioje patikimumo spragoje „Typesafe AI“ pozicionuoja savo naujuosius „System One“ modelius ir „Jev“ programavimo kalbą.

Žvelgdami į platesnį vaizdą, stebime pokytį nuo DI kaip kūrybinės naujovės prie DI kaip pagrindinio pramoninio įrankio. Dauguma šiandien populiarių modelių, tokių kaip „GPT-4“ ar „Claude“, veikia kaip nepavargstantis praktikantas. Šis praktikantas perskaitė kiekvieną bibliotekos knygą ir gali per kelias sekundes apibendrinti teisinę ataskaitą. Tačiau šis praktikantas taip pat turi įprotį išgalvoti atsakymus, kai jaučia spaudimą ar pasimetimą. Jūs negalite lengvai atleisti šio praktikanto, nes jis yra integruotas į jūsų darbo eigą, tačiau taip pat negalite juo pasitikėti tvarkant darbo užmokestį ar medicininius receptus be nuolatinės priežiūros. „System One“ modeliai siekia pakeisti šį nenuspėjamą praktikantą griežtu, nuspėjamu vadovu.

Problema dėl per didelio mąstymo

Psichologijoje „System 1“ (1-oji sistema) reiškia greitas, instinktyvias ir emocingas mintis, o „System 2“ (2-oji sistema) yra lėtesnė, labiau apgalvota ir logiška. DI pramonėje mes išleidome milijardus dolerių tobulindami „System 2“. Mes norime modelių, kurie samprotautų, svertų galimybes ir spręstų sudėtingus galvosūkius. Trūkumas yra tas, kad samprotavimas reikalauja laiko ir pinigų. Kiekvieną kartą, kai LLM (didelis kalbos modelis) mąsto, jis sunaudoja tūkstančius žetonų ir daug elektros energijos. Vartotojo požiūriu tai virsta lėtai reaguojančiomis programėlėmis ir prenumeratomis, kurios kainuoja dvidešimt dolerių per mėnesį.

Dar svarbiau yra tai, kad samprotavimas įneša netikrumo. Kai modelis samprotauja, jis sukuria unikalų kelią į atsakymą kiekvieną kartą, kai užduodate klausimą. Šis kintamumas yra košmaras programinės įrangos inžinieriams. Jei programėlės kūrėjas nori, kad mygtukas taptų mėlynas, kai vartotojas jį spusteli, jam reikia, kad tai įvyktų kiekvieną kartą. Jie nenori, kad programėlė samprotautų, ar mėlyna spalva yra tinkamas estetinis pasirinkimas esant dabartiniam orui. Tradicinė programinė įranga yra deterministinė, o tai reiškia, kad ta pati įvestis visada duoda tą pačią išvestį. Dabartinis DI yra tikimybinis, o tai reiškia, kad jis pateikia jums geriausią spėjimą.

Kaip „System One“ keičia architektūrą

„Typesafe AI“ juda priešinga kryptimi nei bendra tendencija. Jų „System One“ modeliai nėra skirti rašyti esė ar diskutuoti apie filosofiją. Vietoj to, šie modeliai sutelkia dėmesį į struktūrizuotą, didelės spartos vykdymą. Jie yra maži, specializuoti ir stebėtinai greiti. Jie tvarko rutiniškas užduotis, kurios palaiko skaitmeninio pasaulio veikimą, pavyzdžiui, duomenų nukreipimą, klaidų tikrinimą ir vartotojo ketinimų vertimą į mašininį kodą. Iš esmės šie modeliai veikia kaip nervų sistema, o ne kaip prefrontalinė žievė.

„Po gaubtu“ šie modeliai remiasi specifine architektūra, kurioje pirmenybė teikiama saugumui, o ne kūrybiškumui. Jie nenukrypsta nuo scenarijaus, nes jie apskritai neturi scenarijaus. Jie veikia siaurose kūrėjo apibrėžtose ribose. Dėl to jie yra pakankamai lengvi, kad veiktų vietinėje aparatinėje įrangoje, pavyzdžiui, jūsų išmaniajame telefone ar mažame pramoniniame jutiklyje, užuot reikalavę masyvaus serverių ūkio dykumoje. Ši decentralizacija yra didelis laimėjimas privatumui ir delsai. Kai jūsų duomenys lieka jūsų įrenginyje, jie iš prigimties yra saugesni.

„Jev“ kalbos vaidmuo

Kad šie modeliai veiktų, „Typesafe“ pristatė „Jev“. Vidutiniam vartotojui programavimo kalbos pavadinimas retai kada yra svarbus, tačiau „Jev“ yra priežastis, kodėl „System One“ modeliai yra praktiški. Istoriškai kūrėjai naudojo „Python“ arba „JavaScript“ DI programoms kurti. Šios kalbos yra lanksčios, tačiau jos taip pat linkusios į paslėptas klaidas, kurios išryškėja tik programai veikiant. „Jev“ yra saugaus tipo (angl. type-safe) kalba. Paprastais žodžiais tariant, tai reiškia, kad kodas turi įmontuotus apsauginius barjerus, kurie užkerta kelią dažnoms klaidoms dar prieš programinei įrangai pasiekiant vartotoją.

Jei kūrėjas parašo programą „Jev“ kalba, skirtą išmaniojo namo temperatūrai valdyti, kalba užtikrina, kad „temperatūros“ kintamasis visada būtų skaičius. Jis negali netyčia tapti teksto eilute ar kodo fragmentu, kuris sugadintų šildytuvą. Versdama laikytis tokio griežtumo, „Jev“ leidžia „System One“ modeliams veikti su tokiu atsparumu, kurio standartiniai LLM negali pasiekti. Kalba veikia kaip skaitmeninė sutartis tarp programuotojo ir mašinos. Ji užtikrina, kad DI darytų tiksliai tai, kas jam liepta, nei daugiau, nei mažiau.

Kodėl nuspėjamumas yra naujoji prabanga

Šiuo metu išgyvename nepastovų DI vystymosi laikotarpį, kuriame „magija“ yra pagrindinis pardavimo taškas. Mums daro įspūdį, kai pokalbių botas sugeneruoja katės kosminiame kostiume nuotrauką. Tačiau, naujovės žavesiui išblėsus, vartotojai vertins patikimumą labiau nei reginį. Galvokite apie mikroprocesorių kaip apie mūsų laikų skaitmeninę naftą. Mums nereikia, kad mūsų nafta būtų kūrybinga. Mums reikia, kad ji būtų nuosekli ir švari, kad variklis nesprogtų.

Praktiškai kalbant, šis pokytis reiškia, kad naujos kartos DI varomi įrankiai atrodys mažiau kaip pokalbis ir daugiau kaip aukšto našumo įrankis. Jūsų bankininkystės programėlė gali naudoti „System One“ modelį sukčiavimui aptikti realiuoju laiku, nesiųsdama jūsų operacijų istorijos į trečiosios šalies serverį. Jūsų automobilis gali naudoti tokį modelį jutiklių duomenims apdoroti vietoje, kad išvengtų susidūrimo. Šiais scenarijais jūs nenorite, kad DI būtų „protingas“ žmogiškąja prasme. Jūs norite, kad tai būtų tvirtas, specializuotas komponentas, kuris niekada nepavargsta ir niekada nespėlioja.

Esmė vartotojams

Vidutiniam vartotojui „System One“ ir „Jev“ pasirodymas žymi DI eksperimentinio etapo pabaigą. Mes judame link pasaulio, kuriame DI yra įlietas į mūsų skaitmeninio gyvenimo „santechniką“. Tikėtina, kad per dieną dešimtis kartų sąveikausite su „System One“ modeliu to nesuvokdami. Jis bus jūsų termostate, jūsų el. pašto filtre ir jūsų automobilio stabdymo sistemoje. Šie modeliai nepateks į antraštes dėl romanų rašymo, tačiau jie pateks į antraštes dėl to, kad padarys internetą greitesnį ir saugesnį.

Galų gale, tai yra rinkos per didelio pasikliovimo masyviais, brangiais modeliais korekcija. Mažas, saugus ir greitas yra laimintis derinys įmonėms, kurioms reikia stebėti savo maržas. Tai taip pat laimėjimas vartotojams, pavargusiems nuo klaidų pilnos programinės įrangos ir kylančių prenumeratos kainų. DI revoliucija pagaliau tampa skaidri ir funkcionali, o tai yra kur kas svarbiau nei būti protingam.

Užuot ieškoję kito pokalbių boto, kuris galėtų išlaikyti Tiuringo testą, stebėkite, kaip per ateinančius metus jūsų esamos programėlės taps operatyvesnės. Galite pastebėti, kad jūsų balso asistentas nustoja sakyti „Atsiprašau, nesupratau“ ir pradeda akimirksniu vykdyti komandas. Taip yra ne todėl, kad DI tapo protingesnis. Taip yra todėl, kad jis nustojo bandyti galvoti ir pradėjo laikytis geresnio instrukcijų rinkinio. Įvertinkite nematomą pramoninę mechaniką, leidžiančią jūsų skaitmeniniam pasauliui veikti be dramų.

Šaltiniai:

• Typesafe AI Technical Documentation
• Industrial AI Safety Standards Report 2026
• Journal of Software Engineering and Deterministic Systems