Euroopa AI-paradoks: miks on järgmine põlvkond AI-eksperte juba meie seas
Euroopa AI-debatis domineeriv vale valik
Elame ajas, kus end välja kuulutavad AI-spetsialistid. Nad jagunevad kahte leeri, kes teineteisest mööda karjuvad. Üks leer kuulutab, et me ei suuda ilma AI-ta ellu jääda. Teine nõuab, et me peame sellest täielikult loobuma.
Nende kahe äärmuse vahel? Vaikus. Praktiliselt mitte midagi.
Esimene rühm ei ole tõenäoliselt teadlik sellest, mis eksisteeris enne praegust AI-d. Nad ei tea, et AI oli siin juba enne, kui seda AI-ks hakati nimetama. See rühm peab mõistma, et praegune AI ei ole see, mis ta peaks olema. Me liikusime liiga kiiresti. Me lõikasime nurki. Tulemus, mis on peagi käes: kasutuskõlbmatu AI.
Miks karjub see rühm nii valjult, et me ei suuda ilma AI-ta ellu jääda? Nad on küljendanud sellele lihtsa tulumudeli. See ei ole skaleeritav. Nad hoiavad kinni trikist, mida nad oskavad.
Teine rühm teab, mis oli enne. Nad mõistavad üksikuid komponente. Nad on olnud nendes valdkondades spetsialistid aastaid. See rühm vajab abi võimaluste ja piiride nägemisel. Nad on tõenäoliselt esimesed, kes mõistavad, milline peaks AI olema ja mida on võimalik õigel viisil saavutada.
Nende teadmised sobivad AI-arhitektuuri. Järgmise põlvkonna AI-s, mis on loodud inimeste jaoks, leiavad need inimesed oma eelistatud koha. Siin peitub tohutu võimalus kiireks ümberõppeks ja panustamiseks. Tulumudel, mille kaotamise ohus nad praegu on, saab uue hoo.
Kas me suudame sellest välja tuua keerulise polarisatsiooni ja seejärel siduda selle nüansirikka järeldusega?
Praegune AI-maastik Euroopas
Olgem täpsed selle suhtes, kus Euroopa seisab. Numbrid räägivad olulise loo.
Euroopal on dokumenteeritud AI-talendi puudus. Ühendkuningriigis on 168 000 AI-töökohta täitmata. Saksamaal 102 000. Prantsusmaal 88 000. AI-oskuste nõudluse ja pakkumise suhe globaalselt on 3,2:1. Ainult 10% maailma tipp-AI-teadlastest elab Euroopas ja see protsent langeb igal aastal.
Ettevõtete AI-kasutuselevõtt Euroopas on 2024. aasta seisuga vaid 13,5%. AI-talendid moodustavad 0,41% ELi tööjõust. Samal ajal on USA-s üle 240 tehnoloogiaettevõtte, mille väärtus ületab 10 miljardit dollarit. Euroopas on neid 14. USA AI-riskkapitali investeeringud ulatusid 2024. aastal 68 miljardi dollarini. EL suutis 8 miljardit dollarit.
Need statistikad tekitavad paanikat. Need ajendavad esimese rühma narratiivi: Euroopa peab importima AI-d, ostma AI-d, võtma AI-d kiiresti kasutusele või jääma igaveseks maha.
Kuid see narratiiv eeldab, et praegune AI on ainus AI. See eeldab, et musta kasti süvaõpe on lõplik sihtkoht. See ignoreerib seda, mida Euroopa ehitas enne hüpet.
Mis oli Euroopal enne, kui AI-d hakati AI-ks nimetama
Kui Ameerika ettevõtted skaleerisid närvivõrke, ehitas Euroopa midagi teistsugust. Midagi aluspõhjalist. Midagi, mida praegune AI hädasti vajab.
Formaalsed meetodid ja verifitseerimine: Euroopal on üle 25 aasta dokumenteeritud kogemust tarkvara õigsuse tõestamisel. Freiburgi ülikool, Inria, Formal Methods Europe, ettevõtted nagu Prover Technology, CEA List, Axiomise, PQShield. Need institutsioonid ja ettevõtted ei ole kadunud. Nad on endiselt siin. Nende teadmised on asjakohasemad kui kunagi varem.
Constraint programmeerimine: „The Handbook of Constraint Programming“ avaldati 2006. aastal. CPAIORi konverents sai alguse 2004. aastal Nice'is Prantsusmaal. Teadusrühmad nagu VeriDIS Inrias, KU Leuvenis ja RISC Johannes Kepleri Ülikoolis on aastakümneid välja töötanud constraint-lahendamise tehnikaid. See ei ole teoreetiline. See on optimeerimis-, planeerimis- ja otsustussüsteemide alus.
Logic programming en Prolog: Geboren in Europa. Universiteit van Aix-Marseille, 1972-1973. Bedenkers Alain Colmerauer en Philippe Roussel. Vijftig jaar Europees onderzoek. In 2022 vierde de gemeenschap "Fifty Years of Prolog and Beyond." Dit is geen vergeten geschiedenis. Het is levende expertise.
Semantiline veeb ja teadmistehnika: SWAD-Europe oli oluline Euroopa algatus semantilise veebi arendamiseks W3C raames. OWL sai W3C soovituseks 2004. aastal Euroopa teadlaste eestvedamisel. Tänapäeval avaldab Nature uurimusi semantiliste teadmusgraafide kohta. Asjatundlikkus ei ole kunagi kadunud.
Dit is wat de tweede groep weet. Dit is hun specialisatie. En ze zien de eerste groep wielen opnieuw uitvinden, en dat slecht doen, decennia aan onderzoek negeren en systemen creëren die precies falen omdat ze deze fundamenten missen.
Esimese grupi probleem: jätkusumatu hüpe
AI-konsultatsiooniturg ulatub 2032. aastaks 630,7 miljardi dollarini. See seletab kisa. Konsultandid, pilveteenuste pakkujad ja teenusepakkujad on sidunud oma tulumudeli praeguse AI-ga. Nad peavad veenma Euroopa ettevõtteid, et need peavad AI kasutusele võtma kohe või hukkuma.
Kuid see mudel ei ole skaleeritav. Siin on põhjus.
Praegune AI kannatab eksponentsiaalse vea kuhjumise all. Süsteemid, mis on 98% täpsed sammu kohta, muutuvad pärast 100 sammu 13% täpseteks. Hallutsinatsioonid lumepallina kasvavad. Multimodaalsed süsteemid kaotavad 31% jõudlusest, kui nad kohtavad genereeritud vigu. Matemaatikat ei huvita tulumudelid.
Esimese grupi lahendus? Rohkem treeningandmeid. Paremad päringud. Kontrollimise sammud, mis lisavad samme probleemile, mille põhjustas liiga paljude sammude olemasolu. Nad üritavad võidelda matemaatikaga loomuliku keele abil.
See ei ole jätkusuutlik. Euroopa ettevõtted, kes need lähenemisviisid kasutusele võtavad, seisavad silmitsi 95% tootmise ebaõnnestumise määraga, mille on dokumenteerinud MIT ja Fortune uuringud. Nad kulutavad miljoneid süsteemidele, mis on matemaatiliselt garanteeritud ebaõnnestuma mitmeastmelistes stsenaariumides.
Esimene grupp teab seda. Nad ei saa seda tunnistada. Nende tulumudel sõltub illusiooni säilitamisest, et praegune AI töötab. Nii et nad karjuvad valjemini.
Võimalus teises grupis: tähelepanuta jäetud teadmised
Nüüd vaatleme teist gruppi. Nad jälgisid AI-hüpet kõrvalt. Nad nägid ettevõtteid taasleiutamas tehnikaid, mille Euroopa lahendas aastakümneid tagasi. Nad nägid närvivõrke maadlemas probleemidega, mida piirangute programmeerimine lahendab elegantselt.
Nad vaikisid, sest turg ei tasustanud nende teadmisi. AI rahastus läks süvaõppele. Piirangute programmeerimise uurimine jätkus ülikoolides ja spetsialiseerunud ettevõtetes. Formaalne kontrollimine jäi ohutuse seisukohalt kriitilistes tööstusharudes hädavajalikuks. Teadmistehnika toitis semantilisi veebirakendusi, mis töötasid usaldusväärselt.
See grupp on olemas. Nad on märkimisväärsed. Euroopas on üle 10 miljoni IKT-spetsialisti. Saksamaal on 2,3 miljonit. Kesk- ja Ida-Euroopas on 3,5 miljonit. Arendajate hõivatus on 84%. See ei ole pisike nišš. See on tohutu tööjõud alakasutatud teadmistega.
Siin on otsustav arusaam: ELi tehisintellekti määruse nõuded selgitatavusele, läbipaistvusele ja auditeeritavusele loovad regulatiivse nõudluse just sellele, mida see grupp teab.
Formaalne kontrollimine tõestab süsteemi õigsust. Piirangute programmeerimine pakub tõlgendatavaid arutluskäike. Loogikaprogrammeerimine võimaldab jälgitavat otsustamist. Teadmistehnika ehitab hübriidseid neuro-sümboolseid süsteeme, mis ühendavad õppimise arutlemisega.
Teise grupi teadmised vastavad otseselt järgmise põlvkonna AI nõuetele. Nad ei pea AI-d nullist õppima. Nad peavad mõistma, et nende olemasolevad oskused ON järgmise põlvkonna AI.
Kasutuskõlbmatu AI, mis on varsti tulemas
Mis juhtub, kui praegused AI-lähenemisviisid jõuavad oma matemaatiliste piirideni? Me näeme seda juba.
Google AI Overview soovitas panna pitsale liimi. CNET-i AI kirjutas artikleid 53% veamääraga. Meditsiinilise diagnoosimise süsteemid ebaõnnestusid 80% pediaatrilistest juhtudest. Õiguslikud AI-mudelid hallutsinatsioonid igas kuuendas päringus. Need ei ole äärejuhtumid. Need on põhiliste arhitektuuriprobleemide sümptomid.
Zhang et al. (2023) tuvastatud hallutsinatsioonide lumepalliefekt näitab, et suured keelemudelid jäävad oma varaste vigade juurde kinni ja genereerivad nende õigustamiseks täiendavaid valeväiteid. Vead ei lihtsalt levi. Nad kasvavad.
98% probleem tähendab, et pärast 34 arutlussammu on süsteemid tõenäolisemalt valed kui õiged. Pärast 100 sammu on nad valed 86,7% juhtudest. Seetõttu ebaõnnestub 95% tehisintellekti agentidest tootmiskeskkonnas. Seetõttu ei jõua 95% generatiivse tehisintellekti pilootprojektidest kunagi tootmisse.
Me liigume kiiresti kasutuskõlbmatu tehisintellekti poole. Süsteemid, millele ei saa mitmeastmelise arutluse puhul loota. Süsteemid, mis nõuavad iga väljundi inimlikku faktikontrolli. Süsteemid, mille parandamine maksab rohkem kui nende loodav väärtus.
Esimene grupp vastab sama taktikaga. Suuremad mudelid. Rohkem arvutusvõimsust. Paremad päringud. Nad on lõksus paradigmis, mis matemaatika kohaselt ei saa toimida.
Teine grupp näeb seda teisiti. Nad on veetnud oma karjääri süsteemide ehitamisel, mis EI kannata eksponentsiaalse vea kuhjumise all. Formaalsed meetodid tõestavad omadusi. Piirangulahendus leiab optimaalsed lahendused. Loogikaprogrammeerimine pakub usaldusväärset arutlust. Teadmistehnika loob selgitatavaid süsteeme.
Polariseerumine muutub selgeks. Üks grupp panustab jätkuvalt ebaõnnestuvatele lähenemistele. Teine grupp omab lahendusi, mida turg lõpuks nõudma hakkab.
Euroopa digitaalne suveräänsus olemasoleva asjatundlikkuse kaudu
ELi komisjon määratleb digitaalse suveräänsuse kui "digitaalsed infrastruktuurid, tooted ja teenused, mis kaitsevad Euroopa julgeolekut, strateegilisi varasid ja huve." Berliini deklaratsioon lisab "võime tegutseda iseseisvalt ja vabalt valida oma digitaalne tee."
Praegused lähenemised AI-suveräänsusele keskenduvad Ameerika AI Euroopa versioonide ehitamisele. Suurte keelemudelite treenimine. Euroopa alusmudelite loomine. Võistlemine Ameerika tingimustel.
See jääb asjast mööda. Euroopa tee AI-suveräänsuseni ei ole see, mida Ameerika teeb, lihtsalt kohalikult. See on see, mida Euroopa kõige paremini oskab, tehtuna teisiti.
ELi tehisintellekti määruse rõhuasetus selgitatavusele, läbipaistvusele ja inimesekesksele disainile ei ole juhuslik. See peegeldab Euroopa väärtusi. See peegeldab ka Euroopa tehnilisi tugevusi. Määrus loob nõudluse süsteemide järele, mida saab selgitada, kontrollida ja auditeerida.
Kes saab neid süsteeme ehitada? Mitte süvaõppe spetsialistid, kes ehitasid musta kasti mudeleid. Formaalsete meetodite eksperdid, kes on tõestanud süsteemide õigsust 25 aastat. Piirangute programmeerimise teadlased, kes on ehitanud tõlgendatavaid optimeerimissüsteeme kaks aastakümmet. Teadmiste insenerid, kes on loonud selgitatavaid semantilisi süsteeme alates 2000. aastate algusest.
See on Euroopa eelis. Euroopa ei pea AI-asjatundlikkust importima. Euroopa peab mõistma, et tema olemasolev tehniline asjatundlikkus ON järgmise põlvkonna AI-asjatundlikkus.
Ümberõppe võimalus, mis on silme ees
Euroopa Komisjoni oskuste pakt on jõudnud 2,6 miljoni inimeseni täiendus- ja ümberõppe algatuste kaudu. CEDEFOP teatab, et rohkem kui 25% Euroopa täiskasvanud töötajatest katsetab juba tööl AI-d.
Traditsiooniline narratiiv viitab sellele, et need töötajad peavad õppima süvaõpet, närvivõrke, trafoarhitektuure. Nad peavad saama sarnaseks esimese rühmaga.
See on tagurpidi. Töötajad, kes Euroopal juba on, omavad täpselt neid oskusi, mida järgmise põlvkonna AI vajab. Nad peavad lihtsalt mõistma, et nende asjatundlikkus on AI kontekstis väärtuslik.
Formaalse kontrolli spetsialist ei pea õppima närvivõrke. Ta peab rakendama oma kontrolliasjatundlikkust piirangupõhistele AI-süsteemidele. Piirangute programmeerimise teadlane ei pea ümber orienteeruma süvaõppele. Ta peab mõistma, et tema piirangute lahendamise tehnikad ON järgmine põlvkond AI-arutlusest. Teadmiste insener ei pea semantilisest veebist suurte keelemudelite juurde loobuma. Ta peab ehitama hübriidsüsteeme, mis ühendavad õppimise arutlusega.
Ümberõppe väljakutse ei ole Euroopa spetsialistidele AI nullist õpetamine. See on nende aitamine näha, et nende aastakümnete pikkune asjatundlikkus ON AI. See AI, mida praegused lähenemised ei suuda pakkuda.
Ärimudel, mida nad riskivad kaotada, ei ole kadunud. See muutub. Ettevõtted, kes mõistavad formaalset kontrolli, piirangute rahuldamist ja teadmiste inseneriat, on need, kes ehitavad AI-süsteeme, mis tegelikult tootmises töötavad. AI-süsteemid, mis vastavad ELi määrustele. AI-süsteemid, mida Euroopa ettevõtted saavad usaldada.
Nüansirikas järeldus: polariseerumine kui võimalus
Polariseerumine "meil peab olema AI" ja "meil ei ole AI-d vaja" vahel on vale. Mõlemad seisukohad jäävad nüansist mööda.
Nüansirikas tegelikkus: Euroopa vajab tehisintellekti, kuid mitte praegust tehisintellekti. Euroopa vajab järgmise põlvkonna tehisintellekti, mis on üles ehitatud Euroopa tugevustele. Selgitatav, kontrollitav, tõhus, inimkeskne. Tehisintellekt, mida ELi tehisintellekti määrus nõuab. Tehisintellekt, mida Euroopa ettevõtted tegelikult vajavad. Tehisintellekt, mida Euroopa spetsialistid juba oskavad ehitada.
Esimese rühma narratiiv, et me peame praeguse tehisintellekti omaks võtma või hukkuma, on ohtlik. See viib Euroopa ettevõtted investeerima süsteemidesse, mis ebaõnnestuvad. See süvendab sõltuvust Ameerika tehnoloogiast. See eirab Euroopa asjatundlikkust.
Teise rühma skeptitsism praeguse tehisintellekti suhtes on põhjendatud, kuid nende järeldus, et me ei vaja tehisintellekti, on vale. Me vajame tehisintellekti. Me vajame lihtsalt ÕIGET tehisintellekti. Tehisintellekti, mis on üles ehitatud alustele, mida nad on aastakümneid arendanud.
Võimalus peitub sünteesis: mõista, et järgmise põlvkonna tehisintellekti asjatundlikkus on Euroopas juba olemas. Need on üle 10 miljoni IKT-spetsialisti. Need on formaalsete meetodite eksperdid enam kui 25-aastase kogemusega. Need on constraint programmeerimise uurijad kahe aastakümne pikkuse tööga. Need on teadmistehnikud, kes ehitasid semantilise veebi.
Neid inimesi ei pea asendama tehisintellekti spetsialistidega mujalt. Neid tuleb võimestada mõistma, et nende asjatundlikkus ON järgmise põlvkonna tehisintellekti asjatundlikkus. Nad peavad nägema silda oma praeguste oskuste ja nende tehisintellektisüsteemide vahel, mida Euroopa tegelikult vajab.
Bij Dweve bouwen wij aan die brug. Core biedt het formele verificatiekader. Loom implementeert domeinspecialisten op basis van constraints. Nexus biedt de orkestratielaag. Spindle biedt het kennisbeheer. Elk onderdeel maakt gebruik van Europese technische sterktes. Elk onderdeel creëert kansen voor Europese specialisten om hun expertise toe te passen op AI van de volgende generatie.
Vastandumine ei ole probleem. See on võimalus. Kokkupõrge hüüdlausete ja tegelikkuse vahel sunnib Euroopa ettevõtteid mõistma, mis tegelikult toimib. Kui praegune tehisintellekt ebaõnnestub, otsivad Euroopa ettevõtted alternatiive. Need alternatiivid on olemas. Need on üles ehitatud 25–50 aasta pikkusele Euroopa teadustööle. Neid hoiavad üle 10 miljoni Euroopa spetsialisti. Neid tuleb lihtsalt tunnustada järgmise põlvkonna tehisintellektina.
Wat je moet onthouden
- Vastandumine on vale. „Meil peab olema tehisintellekt“ versus „me ei vaja tehisintellekti“ jätab nüansi tähelepanuta. Euroopa vajab järgmise põlvkonna tehisintellekti, mis on üles ehitatud Euroopa tugevustele, mitte imporditud praegust tehisintellekti.
- De huidige AI faalt. Exponentiële foutaccumulatie maakt systemen met meerdere stappen onbruikbaar. 95% van de AI-pilots haalt de productiefase niet. De wiskunde geeft niet om verdienmodellen.
- Europese expertise bestaat. 25+ jaar formele methoden. 20+ jaar constraint programming. 50+ jaar logisch programmeren. 20+ jaar kennistechniek. Dit is geen geschiedenis. Het is de basis van AI van de volgende generatie.
- ELi tehisintellekti määrus nõuab seda, mis Euroopal on. Selgitatavus, läbipaistvus, auditeeritavus. Need ei ole Euroopa spetsialistidele koormaks. Need on see, mida nad on aastakümneid ehitanud.
- Üle 10 miljoni IKT-spetsialisti. Euroopal on märkimisväärne tööjõud asjakohase asjatundlikkusega. Neil ei ole vaja tehisintellekti nullist õppida. Nad peavad mõistma, et nende olemasolevad oskused ON järgmise põlvkonna tehisintellekt.
- Ümberõppe võimalus on tohutu. Oskuste pakt jõudis 2,6 miljoni inimeseni. 25% Euroopa töötajatest katsetab tehisintellektiga. Väljakutse on mõista, et olemasolev asjatundlikkus kehtib tehisintellekti kohta, mitte importida välismaist asjatundlikkust.
- Euroopa tehisintellekti suveräänsus tuleb seestpoolt. Mitte Ameerika lähenemisviiside kopeerimisega, vaid Euroopa tugevuste kasutamisega formaalsetes meetodites, constraint programmeerimises ja teadmistehnikas, et ehitada tehisintellekti, mis tegelikult toimib.
Alumine rida
Arutelu Euroopa tehisintellekti suveräänsuse üle keskendub valele küsimusele. Asi ei ole selles, kas Euroopa vajab tehisintellekti või ei vaja. Asi on selles, MISSUGUST tehisintellekti Euroopa vajab.
Praegune tehisintellekt, mis põhineb süvaõppel ja närvivõrkudel, on jõudmas matemaatilistesse piiridesse. Eksponentiaalne vea kuhjumine. Hallutsinatsioonide lumepalliefekt. 95% tootmise ebaõnnestumise määr. See ei ole tulevik, millele Euroopa ettevõtted saavad loota.
Järgmise põlvkonna tehisintellekt, mis põhineb formaalsel verifitseerimisel, piirangute rahuldamisel ja teadmiste inseneriteadusel, on Euroopas juba tekkimas. See kasutab 25-50 aastat Euroopa teadustööd. See annab tööd 10+ miljonile Euroopa spetsialistile. See vastab ELi tehisintellekti määruse nõuetele. See tegelikult töötab.
Esimene rühm jätkab karjumist, et Euroopa peab praeguse tehisintellekti omaks võtma või surema. Nende tulumudel sõltub sellest. Teine rühm jääb skeptiliseks, märkamata, et nende asjatundlikkus ON järgmise põlvkonna tehisintellekt.
Nüansirikas tõde on vahepeal. Euroopa vajab tehisintellekti suveräänsust. Kuid tee suveräänsuseni ei ole Ameerika tehnoloogia importimine. See on Euroopa spetsialistide võimestamine ehitama seda tehisintellekti, mida nad juba oskavad luua. See tehisintellekt, mis põhineb alustel, mida nad on aastakümneid arendanud. See tehisintellekt, mida ELi tehisintellekti määrus nõuab. See tehisintellekt, mis tootmises tegelikult töötab.
Järgmise põlvkonna tehisintellekti eksperdid ei ole keegi, kelle Euroopa peab üles leidma või nullist koolitama. Nad on juba siin. Nad on siin olnud 25-50 aastat. Nad peavad lihtsalt mõistma, et nende asjatundlikkus on täpselt see, mida järgmise põlvkonna tehisintellekt nõuab.
Valmis ehitama Euroopa tehisintellekti suveräänsust Euroopa alustele? Dweve'i piirangutepõhine platvorm kasutab aastakümnete pikkust Euroopa teadustööd formaalsete meetodite, piirangute programmeerimise ja teadmiste inseneriteaduse vallas. Ei mingeid Ameerika ebaõnnestumiste importimist. Lihtsalt Euroopa tugevustele ehitamine. Tarbijad pääsevad Dweve'i praegu kasutama ainult kutse alusel.