[Ikerketa] Ebaluazio estrukturalaren kolapsoa joko deterministetan: froga eraikitzailea Hau da lehenengo PROVABLE AI - Proof Gameri buruzko nire artikulua. Espero dut norbaitek serio hartuko duela hau, egia bada, hau oso garrantzitsua da AI Segurtasunerako eta askoz gehiagorako. Erreklamazioa Funtsezko bi mekanismo barne hartzen dituen joko deterministikoa aurkezten dugu: Kaosaren Aldaketa Kontrolatua (CCS) eta Kontrola Galera Onartzea (ALC). Mekanismo hauek AIrentzat estrukturalki ezinezkoak diren posizioak sortzen dituzte modu esanguratsuan ebaluatzea gizakientzat jolasgarri eta erakargarri izaten jarraitzen duten bitartean. Oinarrizko Mekanismoak Kaosaren aldaketa kontrolatuak (CCS) Jokoaren egoeraren eten egituratua Ebaluatu gabeko posizioak sortzen ditu Oinarrizko ebaluazioa kolapsoa behartzen du Kontrol-galera onartzea (ALC) Posizio-kontrolaren amore estrategikoa Eredu esanguratsuak antzematea eragozten du Plangintza konputazionala eten egiten du Froga Froga eraikitzaile honek frogatzen du guztiz deterministikoa den joko bat egituraz ezinezkoa izan daitekeela IAk modu esanguratsuan jokatzea, ez konplexutasun konputazionalagatik, baizik eta posizioen ebaluazioan, ereduen aitorpenean eta plangintza estrategikoan dauden oinarrizko mugengatik. Oharra: Ikusi C eranskina ALCren hedapen sakon bat makro-mailako mekanika kuantikoaren bidez argitasun ezin hobeaz. A ERANSKINA: ARAUAK - Tximeleta-hegoak 4 Oharrak: CCS edo ALC bakarrik AI erresistentzia handia sortzen du. Behar bezala konbinatuta, egiturazko AI-froga egoera lortzen dute. Gure taula handiegia dela eta gure nahasketa indartsuegia dela susmatzen dugu, baina ezin dugu hori frogatu eta inork ezin du. Gutxieneko nahasketa eta taularen tamaina harrigarriro txikia izan daiteke. Pentsamendu-esperimentu baten mesedetan, erabil dezagun ALC eta CCS antzeko nahasketa duen 16x16x16 taula bat. Erabili ditzagun Jumbo Butterfly Wings 16 hau AI-froga den bertsiorako, AI-frogako joko bat dagoela frogatzeko. Jolasean dauden anomaliak edo inkoherentziak gure ondorioa indartzen du; ezin dugu haien existentzia kalkulatu jokoa AI-froga den arrazoi beragatik. 8 milioi giza jokoetako entrenamendu-datuek ere ez dute ezertarako balio. 1️⃣ Oinarrizko arauak Jokalariek txandaka jartzen dituzte piezak 6×6×6 hiru dimentsioko sareta batean. Edozein norabidetan lau jarraian lotzen dituen lehen jokalariak irabaziko du. Connect-four existitzen ez bada, partida berdinketa da. 2️⃣ Tximeleta efektua Jokalari batek hiru pieza jarraian baditu, bere aurkariak honako hauek egin ditzake: Bere pieza bat sakrifikatu (betiko kenduz). Berriz kokatu goiko bi pieza taulako edozein tokitan. Sakrifizioaren arauak: Edozein lekutatik ken daiteke, pilaren behealdetik barne, jokoaren egoera guztiz berria eraginez. Goiko piezak horren arabera eroriko dira. Berriz jarri goiko bi pieza (besteek estali gabeko piezak). B ERANSKINA: AI ikertzaileentzat - Erronka zuzena AI ikertzaile gisa, ulertzen duzu AI sistemek behar dutela: Postuak ebaluatzeko funtzioak Ereduak ezagutzeko gaitasunak Plangintza estrategikorako mekanismoak Butterfly Wings 4-k egiturazko ezintasun frogagarria sortzen du: Posizioaren Ebaluazioa Kolapsoa CCS-k ebaluazioa egituraz ezinezkoa den posizioak sortzen ditu Ez da konputazionalki zaila, egituraz ezinezkoa Zenbakirik gabeko zenbakizko konparaketa saiatzea bezala Ereduen aitorpena suntsitzea CCS gertaera bakoitzak ereduaren jarraitutasuna suntsitzen du Ezin da eredu egonkorrik sortu Sare neuronalek ezin dute irudikapen esanguratsurik osatu Plangintza Estrategikoko Oztopoa ALC-k zuhaitzen bilaketa esanguratsua eragozten du Etorkizuneko estatuak egitura aldetik ezustekoak bihurtzen dira Ez bilaketaren sakontasunari buruz, funtsezko ezintasunari buruz Egiaztatzeko Urratsak Edozein ebaluazio-funtzio ezartzea Ikus ezazu huts egiten duela egituraz, ez konputazionalki Saiatu ereduak ezagutzeko edozein ikuspegi Behatu oinarrizko irudikapenaren kolapsoa Saiatu edozein plangintza estrategiko Kontuan izan bilaketa esanguratsuaren egiturazko ezintasuna Erronka: ausazko mugimenduetatik haratago jolastu daitekeen edozein AI sistema diseinatu. Egiturazko ezintasuna agerikoa izango da ezarpenean. C eranskina: Ukitu gehiago ALC - Hegal bakarra astintzea. Jokalari bakoitzak taulatik kanpo egoera kuantikoan dagoen pieza bat du. Zure aurkariak kontrolatzen du noiz eta non jartzen den zure pieza taulan, eta hori beti zure desabantaila izango da - taulako gainerako pieza bat duzula ahaztu ez bazaio behintzat. Bere erabakia gogorra izango da, eta zurea ere bai. Zabaldutako pieza gehienez 16 lekutan jar daiteke, taularen egoeraren arabera. Zaildu gabe, edo sinesgarritasuna galdu gabe, gure joko txikia aldatzeko arau bakar txiki bat sartzen dugu. Hau gisa ikusten dut. Giro-tenperaturan jolastu dezakegu. Gaineratzea, singulartasuna eta egoerak kolapsatzen ikusten ditut. Ez dakit zer esan nahi duen. Niretzat argi dago joko bakarra behar dugula, ikerlariei bi aukeratzeko aurkezten dizkiegu... zuhurki aukeratu. Makro-mailako Kuantiko Simulatzaile D eranskina: Motibazio etikoa – Aitonaren erreklamazioa Nire interes bakarra AI erabat menderatu ezin zuen xake aldaera dibertigarri baterako arauak sortzea zen, eta geroago, AI seguruagorako eta nire bilobei etorkizun distiratsurako zubi bat eskaintzea. Nire denbora desagertzen ari da, baina besteen esku uzten dut bilaketa hau. Oso gizon zahar eta nekatua naiz. Aupa, lagunak. ~ Vitae A. Reignee ~ Butterfly Wings 4-ren sortzaile anonimoa erabiltzailearen argazkia en Fleur Unsplash-
