AlphaGeometry: DeepMind's AI Masters Dhibaatooyinka Joomatari ee Heerarka Olympiad

Muuqaalka casriga ah ee garaadka macmalka ah ee sii kordhaya, qabsashadii awoodaha garashada waxay ahayd safar xiiso leh. Xisaabta, oo leh hannaankeeda qallafsan iyo xalinta mashaakilaadka hal-abuurka leh, waxay u taagan tahay marag madoonta garaadka aadanaha. Iyadoo horumarkii ugu dambeeyay laga sameeyay moodooyinka luqadda waxay ku wanagsanayen xallinta mashaakilaadka erayada, saaxadda joomatari waxay keentay caqabad gaar ah. Ku sifaynta muuqaalka iyo astaamaha joomatariga ereyada waxay abuurtaa faaruq xogta tababarka, iyadoo xaddidaysa awoodda AI ee ay ku baranayso xallinta dhibaatada. Caqabaddan ayaa keentay DeepMind, oo ah shirkad hoos timaada Google, inay soo bandhigto AlphaGeometry-Nidaamka AI ee gogol-xaadhka ah oo loogu talagalay in lagu xakameeyo dhibaatooyinka joomatari ee adag.

Xaddidaadda Astaanta AI ee Joometri

Habka AI ee jira ee joomatari wuxuu si aad ah ugu tiirsan yahay xeerar ay sameeyeen aadanaha. Iyadoo waxtar u leh dhibaatooyinka fudud, tani Astaanta AI la kulma dhibaatooyin xagga dabacsanaanta ah, gaar ahaan marka ay la kulmaan xaalado aan caadi ahayn ama joomatari cusub. Awood la'aanta in la saadaaliyo xujooyinka qarsoon ama dhibcaha kaaliyaha ee muhiimka u ah caddaynta dhibaatooyinka joomatari ee kakan ayaa muujinaya xaddidaadda ku tiirsanaanta oo keliya xeerar la sii qeexay. Waxaa intaa dheer, abuurista shuruuc dhammaystiran xaalad kasta oo la maleeynayo waxay noqotaa mid aan macquul ahayn maaddaama dhibaatooyinku ay sii kordhayaan kakanaanta, taas oo keenta caymis xaddidan iyo arrimaha miisaanka.

Qaabka Calaamadaha Dareemaha ee AlphaGeometry

DeepMind's AlphaGeometry wuxuu isku daraa moodooyinka luqadaha waaweyn ee neerfaha (LLMs) iyo AI calaamad ah si loogu dhex maro adduunka murugsan ee joomatari. Tani neuro-calaamadaha habka ayaa aqoonsan in xallinta mashaakilaadka joomatari waxay u baahan tahay adeegsiga qaanuunka iyo garashada labadaba. LLM-yadu waxay ku xoojiyaan nidaamka awoodo dareen leh si ay u saadaaliyaan dhismayaal joomatari oo cusub, halka AI astaanta ah ay khusayso macquulka rasmiga ah jiilka caddaynta adag.

Is dhexgalka firfircoon, LLM waxay ku falanqaysaa fursado badan, iyada oo saadaalisay dhismooyinka muhiimka u ah xalinta dhibaatada. Saadaashani waxay u dhaqmaan sidii tilmaamo, caawinta mishiinka astaanta u ah samaynta wax-ka-jaryada iyo ku dhawaanshaha xalka. Isku dhafkan hal-abuurka leh ayaa kala saaraya AlphaGeometry, isaga oo awood u siinaya inuu wax ka qabto dhibaatooyinka joomatari ee kakan ee ka baxsan xaaladaha caadiga ah.

Habka neuro-astaanta AlphaGeometry ayaa la jaan qaadaya aragti laba geesood ah, fikrad u kala qaybisa garaadka bini'aadamka oo u kala qaybiya laba hab-mid ka mid ah oo bixiya fikrado degdeg ah, oo dareen leh, iyo mid kale, oo ka baaraandeg ah, go'aan qaadasho macquul ah. LLM-yadu waxay ku fiican yihiin aqoonsiga qaababka guud laakiin badanaa ma laha sabab adag, halka matoorada wax-ka-jaridda calaamaduhu ay ku tiirsan yihiin xeerar cad laakiin waxay noqon karaan kuwo gaabis ah oo aan dabacsanayn. AlphaGeometry wuxuu ka shaqeeyaa awoodaha labada nidaam, iyadoo LLM ay hagayso mishiinka wax-ka-jaridda calaamadda ee xalalka suurtagalka ah.

Tababar la Xogta Dardaaranka

Si looga gudbo yaraanta xogta dhabta ah, cilmi-baarayaasha DeepMind waxay tababareen qaabka luqadda AlphaGeometry iyagoo isticmaalaya xogta synthetic. Ku dhawaad ​​nus bilyan jaantusyo joomatari oo random ah ayaa la sameeyay, matoorka astaanta ahi waxa uu falanqeeyay jaantus kasta, isaga oo soo saaray bayaanno ku saabsan hantidiisa. Odhaahyadan ayaa markaa loo habeeyey 100 milyan oo dhibcood xogta synthetic si loo tababaro qaabka luqadda. Tababarku waxa uu u dhacay laba tillaabo: ka horraysiinta qaabka luqadda dhammaan xogta la abuuray iyo hagaajinta si loo saadaaliyo tilmaamo waxtar leh oo loo baahan yahay xallinta dhibaatooyinka iyada oo la adeegsanayo xeerar calaamad ah.

Waxqabadka Heerka Olympiad ee AlphaGeometry

AlphaGeometry waxaa la tijaabiyaa iyadoo lagu salaynayo shuruudaha uu dejiyay Olombikada Xisaabta Caalamiga ah (IMO), tartan qaali ah oo caan ku ah heerarkiisa gaarka ah ee xallinta mushkiladaha xisaabta. Gaaritaanka waxqabad la ammaani karo, AlphaGeometry si guul leh xaliyay 25 ka 30 dhibaato wakhtiga loo cayimay gudaheed, taasoo muujinaysa waxqabad la mid ah kii bilad-dahab ee IMO. Waxaa xusid mudan, in nidaamka casriga ah ee hore uu maareyn karaa oo keliya in uu xalliyo 10 dhibaato. ansaxnimada xalalka AlphaGeometry waxa sii xoojiyay tababaraha kooxda IMO ee USA, arday khibrad leh, oo ku talinaya buundooyin buuxa xalalka AlphaGeometry.

Saamaynta AlphaGeometry

Xirfadaha xalinta mashaakilaadka cajiibka ah ee AlphaGeometry waxay ka dhigan tahay horumar la taaban karo oo lagu soo koobayo farqiga u dhexeeya mashiinka iyo fikirka aadanaha. Marka laga soo tago aqoonteeda oo ah qalab qiimo leh oo loogu talagalay waxbarashada gaarka ah ee xisaabta, horumarkan cusub ee AI wuxuu xambaarsan yahay suurtagalnimada inuu saameyn ku yeesho dhinacyo kala duwan. Tusaale ahaan, in aragtida kombiyuutarka, AlphaGeometry waxay kor u qaadi kartaa fahamka sawirada, kor u qaadida ogaanshaha shayga iyo fahamka booska si loo helo aragti sax ah oo sax ah. Awoodda AlphaGeometry ee la tacaalida isku xidhka meelaha adag waxay haysaa awooda lagu badalo meelaha sida naqshada naqshada iyo qorshaynta qaabdhismeedka. Marka laga soo tago codsiyadeeda la taaban karo, AlphaGeometry waxay faa'iido u yeelan kartaa sahaminta qaybaha aragtida sida fiisigiska. Iyada oo leh awoodda ay u leedahay qaabaynta qaababka joomatari ee kakan, waxa ay ka ciyaari kartaa dowr muhiim ah daah-furka aragtiyaha qalafsan iyo daah-furka fikradaha cusub ee saaxadda fiisigiska aragtida.

Xaddidaadda AlphaGeometry

Halka AlphaGeometry uu soo bandhigayo horumar la taaban karo ee awooda AI si ay u fuliso sababaynta iyo xalinta mashaakilaadka xisaabta, waxay wajaheysaa xaddidaadyo gaar ah. Ku tiirsanaanta matoorada astaanta u ah soo saarista xogta synthetic waxay keenaysaa caqabado la qabsigeeda si ay u maareyso tiro balaadhan oo ah xaaladaha xisaabeed iyo qaybaha kale ee codsiga. Yaraanta xogta tababarka joomatari ee kala duwan waxay keenaysaa xaddidaad wax ka qabashada ka jarista nuucyada ah ee looga baahan yahay dhibaatooyinka xisaabeed ee horumarsan. Ku-tiirsanaanta mishiinka astaanta ah, oo lagu garto xeerar adag, waxay xaddidi kartaa dabacsanaanta, gaar ahaan xaaladaha aan caadiga ahayn ama xalinta mushkiladda. Sidaa darteed, in kasta oo ay aad ugu fiican tahay xisaabta “hoose”, AlphaGeometry hadda way hoos u dhacdaa marka ay la kulmaan dhibaatooyin heersare ah oo heer jaamacadeed ah. Wax ka qabashada xaddidaadyadan waxay fure u noqon doontaa kor u qaadista ku habboonaanta AlphaGeometry ee qaybaha xisaabeed ee kala duwan.

Line hoose

DeepMind's AlphaGeometry waxa ay ka dhigan tahay boodboodka horudhaca ah ee awoodda AI ee lagu maarayn karo mashaakilaadka joomatari ee kakan, oo muujinaya hab-neuro-symbolic oo isku dara qaababka luqadaha waaweyn iyo AI astaanta dhaqameed. Isku-dhafkan cusubi wuxuu u oggolaanayaa AlphaGeometry inay ku fiicnaato xallinta mashaakilaadka, oo ay muujisay waxqabadkeeda cajiibka ah ee Olombikada Xisaabta Caalamiga ah. Si kastaba ha ahaatee, nidaamku waxa uu wajahayaa caqabado ay ka mid yihiin ku tiirsanaanta matoorada calaamada ah iyo yaraanta xogta tababarka ee kala duwan, taas oo xaddidaysa la qabsiga xaaladaha xisaabta ee horumarsan iyo qaybaha codsiga ee ka baxsan xisaabta. Wax ka qabashada xaddidaadyadan ayaa muhiim u ah AlphaGeometry si ay u fuliso awooddeeda ku aaddan beddelka xallinta mashaakilaadka dhinacyada kala duwan iyo isku xirka farqiga u dhexeeya mashiinka iyo fikirka aadanaha.