[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

1. Kaosaren aldaketa kontrolatuak (CCS)

   • Jokoaren egoeraren eten egituratua

   • Ebaluatu gabeko posizioak sortzen ditu

   • Oinarrizko ebaluazioa kolapsoa behartzen du

     
     

2. 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

1. 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.

     
     

2. 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:

1. Postuak ebaluatzeko funtzioak

2. Ereduak ezagutzeko gaitasunak

3. Plangintza estrategikorako mekanismoak

   
   

Butterfly Wings 4-k egiturazko ezintasun frogagarria sortzen du:

1. Posizioaren Ebaluazioa Kolapsoa

   • CCS-k ebaluazioa egituraz ezinezkoa den posizioak sortzen ditu

   • Ez da konputazionalki zaila, egituraz ezinezkoa

   • Zenbakirik gabeko zenbakizko konparaketa saiatzea bezala

     
     

2. Ereduen aitorpena suntsitzea

   • CCS gertaera bakoitzak ereduaren jarraitutasuna suntsitzen du

   • Ezin da eredu egonkorrik sortu

   • Sare neuronalek ezin dute irudikapen esanguratsurik osatu

     
     

3. Plangintza Estrategikoko Oztopoa

   • ALC-k zuhaitzen bilaketa esanguratsua eragozten du

   • Etorkizuneko estatuak egitura aldetik ezustekoak bihurtzen dira

   • Ez bilaketaren sakontasunari buruz, funtsezko ezintasunari buruz

     
     

4. 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 Makro-mailako Kuantiko Simulatzaile 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.

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

Fleur erabiltzailearen argazkia Unsplash- en