Back to strategic teżis

Teżi strateġika 01

Il-Mudell tal-Evoluzzjoni tal-Iżvilupp tas-Software AI

eufile jara l-iżvilupp ta'softwer AI bħala evoluzzjoni permezz ta' livelli ta 'kontroll. Il-kwistjoni importanti hija mhux biss kemm kodiċi AI tista 'tipproduċi, iżda kif deterministiku, gvernabbli, u jerġa' jintuża s-sistema tal-madwar isir kif AI jieħu aktar xogħol.

Irritorna lejn il - homepage Aqbeż għall-mudell

L-Iżvilupp tas-Software AI Evoluzzjoni Mudell

Mill-ipprogrammar tradizzjonali sal-ġenerazzjoni ta’ kodiċi eqreb lejn il-magna, il-progress veru mhuwiex biss veloċità. Huwa bidla lejn aktar kontroll, aktar determinism u lieva formali aktar b’saħħitha.

Livell 0

Żvilupp Tradizzjonali

  • Il - bnedmin jiktbu l - kodiċi manwalment.
  • Diġà jeżisti kontroll determinanti.
  • Il-produzzjoni tibqa' limitata mill-veloċità tal-bniedem.

Manifattura minn materjali ta' kwalunkwe intestatura, ħlief dik tal-prodott Madankollu, il-valur tal-materjali kollha tal-intestatura Nru 7207 ma għandux jaqbeż l-20% tal-prezz tal-prodott mill-fabbrika

Livell 1

Kodifikazzjoni mmexxija mill-AI

  • AI isir l-attur ewlieni li jipproduċi l-kodiċi.
  • Il-kodifikazzjoni tal-vibe u l-loops awtonomi jaċċelleraw il-produzzjoni.
  • Il-frammentazzjoni tikber hekk kif is-sistemi jsiru aktar kumplessi.

Fast, immexxija mill-AI, aktar fraġli

Livell 2

AI b’mekkaniżmi ta’ kontroll

  • AI jaħdem ġewwa fluss tax-xogħol ikkontrollat.
  • It-testijiet, il-bini, l-iskans, u l-validaturi jillimitaw il-produzzjoni.
  • Iċ-ċirkwiti ta' rispons jiggwidaw il-korrezzjoni li jmiss.

AI-powered, feedback-controlled

Livell 3

Għodda Determinastiċi mibnija mill-AI

  • AI jibni ġeneraturi u validaturi.
  • L - għodod, it - trasformaturi, u l - għodod tal - logħob isiru assi.
  • L-ingranaġġ li jista' jerġa' jintuża jħabbat il-produzzjoni ta' darba.

L-istrumentazzjoni ta' ingranaġġ, skont id-disinn

Livell 4

Ontoloġiji tal-Intrapriżi, DSLs u l-Kompilaturi

  • Mudell ontoloġiji maqsuma d-dominju.
  • DSLs, kompilaturi, ġeneraturi, u l-produzzjoni struttura magni tal-politika.
  • Software isir aktar formali u ripetibbli fuq skala.

Produzzjoni formali ta' oġġetti tad-dominju

Il-bidla li jmiss

Ġenerazzjoni ta’ kodiċi eqreb lejn il-magna

  • Il-ġenerazzjoni tersaq eqreb lejn dak li l-magni fil-fatt jeżegwixxu.
  • L-artifatti tar-runtime u l-pjanijiet ivverifikati jikbru fl-importanza.
  • Il - kodiċi ma jibqax l - artifact prinċipali.

Teħtieġ ġenerazzjoni differenti ta’ mudelli AI

Tbassir biss
Dan il - panel jiddeskrivi x'inhu probabbli li jseħħu l - estimi efili, mhux dak li jqis bħala mixtieq, etiku, jew responsabbli b'mod awtomatiku.

L-għajnuna ta' stil ta' kopilota hija ta' Livell 0.5

Suġġerimenti awtokompleti u inlinei jaċċelleraw ix-xogħol lokali, iżda l-iżviluppatur jibqa' l-attur ewlieni li jipproduċi l-kodiċi. Utli, iżda għadu mhux mudell ġdid taċ-ċiklu tal-ħajja.

Il-bniedem fil-kontroll Orkestrati umani u osservazzjonijiet AI- mmexxija, kultant sorveljanza mill-bniedem
Livell 0 0.5 Livell 1 Livell 2 Livell 3 Livell 4 Li jmiss
Mudell kompatt tal-bidla fil-kontroll: minn kodiċi miktub bl-idejn għal żvilupp AI b’mekkaniżmi ta’ kontroll, għodod deterministiċi, formalizzazzjoni enterprise u fl-aħħar ġenerazzjoni ta’ kodiċi eqreb lejn il-magna.

Dak li jgħid il-mudell

AI L-Istati Membri għandhom idaħħlu fis-seħħ il-liġijiet, ir-regolamenti u d-dispożizzjonijiet amministrattivi meħtieġa biex jikkonformaw ma' din id-Direttiva sa mhux aktar tard mill-31 ta' Diċembru 2019. bidliet kemm bħala l-attur li jipproduċi l-kodiċi kif ukoll bħala l-bidla fil-wiċċ tal-kontroll.

Fil-bidu, il-bnedmin jiktbu l-software direttament. Fil-livelli ogħla, organizzazzjonijiet jużaw AI biex jgħinu jibnu sistemi deterministiċi, validaturi, u interfaces dominju formali. Bejn dawk il-punti, il-varjabbli prinċipali huwa kemm hemm kontroll affidabbli madwar il-produzzjoni tas-softwer.

Il-kontroll huwa l-varjabbli

Kull bidla livell li jipproduċi l-kodiċi, iżda l-aktar kwistjoni importanti huwa dak li jillimita, jivvalida, u jirregola dik il-produzzjoni.

Il-kopilota mhuwiex il-Livell 1

Suġġerimenti Autokompleta u inline jibqgħu aċċeleraturi lokali filwaqt li l-iżviluppatur jibqgħu fil-sewwieq € TM s sedil. utli, iżda għadhom mhux AI mmexxija żvilupp.

Il-gwardjani tal-ferroviji jagħmlu l-AI operattiv

It-testijiet, il-linters, il-kontrolli tal-bini, l-iskans tas-sigurtà, il-validaturi, u s-settijiet ta' rigressjoni joħolqu l-linja deterministika ta' rispons meħtieġa għall-korrezzjoni sikura.

Il-formalizzazzjoni toħloq ingranaġġ fit-tul

Ontoloġiji kondiviżi, DSLs, kompilaturi, ġeneraturi, u l-magni tal-politika jibdlu l-għarfien tad-dominju taċitu f'sistemi li jkunu ta' skala aktar affidabbli mill-interpretazzjoni informali biss.

Livelli ta' kontroll

Il-mudell jiddeskrivi progressjoni minn fluss manwali għall-produzzjoni tas-softwer deterministiku.

Is-sekwenza hija inqas dwar iċ-ċelebrazzjoni tal-awtonomija għall-finijiet tagħha stess u aktar dwar il-fehim fejn il-veloċità ssir fraġli, fejn il-gwardjani tal-ferroviji jsiru meħtieġa, u fejn is-sistemi formali jibdew jissuperaw il-flussi tax-xogħol tal-kodifikazzjoni informali.

Livell 0

Żvilupp tas-softwer tradizzjonali

Il-bniedem jibqgħu l-awturi diretti tas-softwer. Il-fluss tax-xogħol huwa fil-biċċa l-kbira deterministiku, iżda throughput huwa limitat bi sforz manwali.

  • Kodiċi bil-miktub mill-bniedem huwa n-nuqqas.
  • Id - disinn, ir - reviżjoni, it - test, il - bini, u l - użu familjari għadhom japplikaw.
  • Il-kontroll huwa għoli, iżda l-iskala hija limitata min-nies.
Livell 0.5

Assistenza fi stil ta' kopilota

L-AI taċċellera l-azzjonijiet lokali bħall-awtokompletazzjoni, is-suġġerimenti inline, u r-rifatturi żgħar, filwaqt li l-iżviluppatur jibqa' l-attur ewlieni li jipproduċi l-kodiċi.

  • Din hija aċċelerazzjoni utli, mhux L-Istati Membri għandhom idaħħlu fis-seħħ il-liġijiet, ir-regolamenti u d-dispożizzjonijiet amministrattivi meħtieġa biex jikkonformaw ma' din id-Direttiva sa mhux aktar tard mill-31 ta' Diċembru 2019. il-mudell waħdu.
  • Il-bniedem għadu jmexxi l-istruttura u d-deċiżjonijiet.
  • Il-produttività titjieb lokalment, iżda ċ-ċiklu tal-ħajja ma jinbidilx b'mod fundamentali.
Livell 1

Kodifikazzjoni mmexxija mill-AI

AI isir l-attur prinċipali li jipproduċi l-kodiċi permezz ta 'kodifikazzjoni vibe, ċrieki awtonomi, l-ippjanar-ewwel flussi tax-xogħol, jew talbiet minn tarf sa tarf karatteristika.

  • Il-veloċità tista' tkun estremament għolja fi problemi ristretti.
  • Volumi kbar ta 'kodiċi jistgħu jidhru malajr.
  • L-affidabbiltà tiddegrada hekk kif il-kumplessità, l-akkoppjar, u l-kuntest operattiv jikbru.
Livell 2

Żvilupp orkestrat mill-AI b’mekkaniżmi ta’ kontroll deterministiċi

AI għadu jikteb sehem kbir tal-kodiċi, iżda issa jopera ġewwa workflow ikkontrollat li jivverifika x-xogħol tiegħu u jiggwida l-korrezzjoni li jmiss.

  • It-testijiet, il-linters, il-kontrolli tal-bini, l-iskans, u l-validaturi jillimitaw il-produzzjoni.
  • Funzjonijiet awtomatizzati tal-fitness u settijiet ta' rigressjoni jindividwaw ksur kmieni.
  • Iċ-ċirku feedback isir leġibbli biżżejjed għall-iterazzjoni affidabbli.
Livell 3

Għodod deterministiċi ġġenerati mill-AI

Il-bidla oġġettiva minn kodiċi li jiġġenera ripetutament għal għodod li jistgħu jipproduċu, jittrasformaw, jivvalidaw, gareż, u kodiċi tat-test b'modi ripetibbli.

  • Il-ġeneraturi, it-trasformaturi, il-validaturi, u s-sistemi huma assi ewlenin.
  • L-AI jibda jipproduċi mekkaniżmi li jistgħu jintużaw mill-ġdid, mhux biss produzzjoni diretta.
  • Ir-riżultat huwa ingranaġġ ripetibbli aktar milli aċċelerazzjoni ta' darba.
Livell 4

ontoloġija ta' grad ta' intrapriża, DSLs, u kompilaturi ġġenerati bil GenAI

Organizzazzjonijiet jifformalizzaw id-dominju nnifsu u let GenAI jgħinu disinn u jevolvu l-katina tal-għodda madwar dak il-mudell formali.

  • Ontoloġiji kondiviżi jiddefinixxu l-qasam tan-negozju.
  • DSLs, kompilaturi, ġeneraturi, validaturi, u l-produzzjoni struttura magni tal-politika.
  • Is-softwer isir aktar formali, ripetibbli, u inqas dipendenti fuq l-interpretazzjoni fraġli.
Il-bidla paradigmali li jmiss

Ġenerazzjoni ta’ kodiċi eqreb lejn il-magna

Maż-żmien, l-AI tista’ tiġġenera artefatti eqreb lejn dak li l-magni fil-fatt jeżegwixxu milli lejn l-astrazzjonijiet tal-lum iċċentrati fuq il-bniedem, bħal fajls, repożitorji u kodiċi sors iffurmat minn frameworks.

  • Rappreżentazzjonijiet eżekutabbli u artifatti runtime ottimizzati jistgħu jiddominaw.
  • L-istruzzjonijiet dwar il-ħardwer u l-pjanijiet ivverifikati jsiru aktar ċentrali.
  • Kodiċi li jinqara mill-bniedem isir interface, mhux neċessarjament l-artifact primarju.

Implikazzjoni strateġika

eufileâ € TM s fehma hija li l-evoluzzjoni ta "żvilupp ta' softwer AI dejjem issir kwistjoni ta "jitlob AI biex jgħinu jibnu sistemi deterministiċi li jipproduċu software b'mod affidabbli. ġenerazzjoni ta "kodiċi diretti għadhom kwistjonijiet, iżda l-vantaġġ aktar dewwiema ġej minn flussi tax-xogħol regolati, għodod li jistgħu jintużaw mill-ġdid, u interfaces tad-dominju formali. Peress li dawk l-għodod deterministiċi jsiru ħafna aktar faċli biex jinħoloq, isir possibbli li jinbnew sistemi ħafna aktar kumplessi b'kunfidenza akbar. Li, imbagħad, jista "jippermetti sforz biex riċenti madwar ġenerazzjoni ġdida ta' mudelli AI li joperaw ħafna aktar baxxi fil-munzell, eqreb lejn rappreżentazzjonijiet tal-livell tal-magna milli llumâ € TM s astrattazzjonijiet tas-sors-kodiċi tal-bniedem.