AlphaGeometry 2: AI Kaas Oo Kaga Fiican Horyaalada Olombikada Aadanaha ee Joometri

Sirdoonka macmal ayaa muddo dheer isku deyayay in ay ku daydaan sabab macquul ah oo aadanaha u eg. In kasta oo ay horumar ballaadhan ka samaysay aqoonsiga hannaankii, sababaynta aan la taaban karin iyo ka-goynta calaamaduhu waxay weli caqabado adag ku yihiin AI. Xaddidaaddan ayaa si gaar ah u muuqata marka AI loo isticmaalo xallinta mushkiladaha xisaabta, anshax in muddo ahba marag u ahaa awoodaha garashada aadanaha sida fikirka macquulka ah, hal-abuurka, iyo faham qoto dheer. Si ka duwan qaybaha kale ee xisaabta ee ku tiirsan qaaciidooyinka iyo wax-qabadka aljabrada, joomatari waa ka duwan yahay. Waxay u baahan tahay ma aha oo kaliya habaysan, tallaabo-tallaabo sababeyn laakiin sidoo kale awoodda lagu aqoonsado cilaaqaadka qarsoon iyo xirfadda lagu dhisayo waxyaabo dheeraad ah oo lagu xalliyo dhibaatooyinka.

Muddo dheer, awoodahaas waxaa loo maleynayay inay yihiin kuwo u gaar ah aadanaha. Si kastaba ha ahaatee, Google DeepMind ayaa ka shaqaynaysay horumarinta AI kaas oo xalin kara hawlahan sababaynta ee adag. Sannadkii hore, waxay soo bandhigeen AlphaGeometry, Nidaamka AI oo isku daraya awoodda saadaalinta ee shabakadaha neerfaha iyo caqli-gal habaysan ee sababaynta calaamad si wax looga qabto dhibaatooyinka joomatari ee adag. Nidaamkani waxa uu sameeyay saamayn wayn isaga oo xaliyay 54% mashaakilaadka joomatari ee caalamiga ah ee Xisaabta Olympiad (IMO) si loo gaadho waxqabad la siman bilad qalin. Dhowaan, waxay ku sii qaateen xitaa in ka badan AlphaGeometry2, kaas oo gaadhay 84% xalin cajiib ah si uu uga sare maro celceliska bilad dahabiga ah ee IMO.

Maqaalkan, waxaan ku baari doonaa hal-abuuro muhiim ah oo ka caawiyay AlphaGeometry2 inay gaadho heerkan waxqabadka iyo waxa horumarkani uga dhigan yahay mustaqbalka AI ee xallinta mashaakilaadka sababaynta adag. Laakin ka hor inta aan la quusin waxa AlphaGeometry2 ka dhigaya mid gaar ah, waxaa muhiim ah marka hore in la fahmo waxa AlphaGeometry yahay iyo sida ay u shaqeyso.

AlphaGeometry: Hormoodka AI ee Xallinta Dhibaatada-Joomatari

AlphaGeometry waa nidaam AI loogu talagalay in lagu xalliyo dhibaatooyinka joomatari ee kakan heerka heerka IMO. Asal ahaan waa nidaam neuro-astaan ​​ah oo isku dara qaabka luqadda neerfaha iyo mashiinka ka-goynta calaamadda. Qaabka luqadda neerfaha wuxuu ka caawiyaa nidaamka inuu saadaaliyo dhismayaal joomatari oo cusub, halka AI calaamadda ah ay khuseyso macquulnimada rasmiga ah si ay u soo saarto caddeyn. Habayntani waxay u ogolaanaysaa AlphaGeometry in ay u fikirto in ka badan sida bini'aadamka iyada oo la isku darayo awooda aqoonsiga qaabka shabakadaha neerfaha, kuwaas oo ku celceliya fikirka bini'aadamka ee dareenka leh, iyada oo la adeegsanayo sababaynta habaysan ee macquulka rasmiga ah, taas oo u ekaanaysa kartida caqliga aadanaha. Mid ka mid ah hal-abuurka muhiimka ah ee AlphaGeometry wuxuu ahaa sida ay u soo saartay xogta tababarka. Halkii ay ku tiirsanaan lahayd bannaanbaxyada aadanaha, waxay abuurtay hal bilyan oo jaantus joomatari oo random ah iyo xiriirro habaysan oo ka dhexeeya dhibcaha iyo xariiqyada. Nidaamkani waxa uu abuuray xog-ururin ballaadhan oo ah 100 milyan oo tusaaleyaal gaar ah, isaga oo ka caawinaya qaabka neerfaha inuu saadaaliyo dhismooyinka joomatari ee shaqaynaya oo hagaya mishiinka astaanta u ah xalalka saxda ah. Habkan isku-dhafka ah ayaa u sahlay AlphaGeometry in ay xalliso 25 ka mid ah 30-ka mashaakilaadka joomatari ee Olympiad gudaha wakhtiga tartanka caadiga ah, taas oo si dhow ula mid ah waxqabadka tartamayaasha bini'aadamka ee ugu sarreeya.

Sidee AlphaGeometry2 u Gaartaa Waxqabadka La Horumariyay

Halka AlphaGeometry ay ahayd horumar xagga xisaabinta AI-ku-hawlgaliyay, waxay lahayd xaddidaadyo gaar ah. Waxa ay la daalaa dhacaysay xalinta mashaakilaadka kakan, waxa ka maqan wax ku ool ah in ay wax ka qabato caqabado badan oo joomatari ah, waxaanay lahayd xaddidaadyo daboolida dhibaatada. Si looga gudbo caqabadahaas. AlphaGeometry2 waxay soo bandhigaysaa taxane ah horumaro la taaban karo:

1. Kordhinta Awoodda AI ee lagu Fahamayo Dhibaatooyin Joomatari oo Kakan

Mid ka mid ah horumarada ugu muhiimsan ee AlphaGeometry2 waa awooda ay kula shaqeyso dhibaatooyinka joomatari ee ballaaran. AlphaGeometry-kii hore waxa uu la halgamay arrimo ku lug leh isla'egyada toosan ee xaglaha, saamiga, iyo masaafada, iyo sidoo kale kuwa u baahnaa sababaynta ku saabsan meelaha dhaqaaqa, xariiqyada, iyo wareegyada. AlphaGeometry2 waxay ka gudubtaa xaddidaadyadan iyadoo soo bandhigtay qaab luqadeed aad u horumarsan oo u oggolaanaya inay qeexdo oo ay falanqeyso dhibaatooyinkan adag. Natiijo ahaan, waxay hadda wax ka qaban kartaa 88% dhammaan dhibaatooyinka joomatari IMO labaatankii sano ee la soo dhaafay, koror aad u weyn marka loo eego 66%.

2. Matoorka Xallinta Dhibaatada Ka Dhaqsiyaha badan uguna Waxtarka badan

Sababta kale ee muhiimka ah ee AlphaGeometry2 ay si fiican u qabato waa matoorka astaanta ah oo la hagaajiyay. Matoorkaan, oo u adeega sida udub dhexaadka macquulka ah ee nidaamkan, ayaa lagu xoojiyay siyaabo dhowr ah. Marka hore, waxa la wanaajiyay in lagu shaqeeyo xeerar la sifeeyay oo ah xeerar xalinta mushkiladaha taas oo ka dhigaysa mid waxtar badan oo degdeg ah. Marka labaad, waxay hadda aqoonsan kartaa marka qaababka joomatari ee kala duwan ay u taagan yihiin isla dhibic dhibka, taas oo u oggolaanaysa inay u sababto si dabacsanaan leh. Ugu dambeyntii, matoorka ayaa dib loogu qoray C++ halkii Python, taasoo ka dhigaysa in ka badan 300 jeer ka dhakhso badan sidii hore. Kobcinta xawaarahani waxay u oggolaanaysaa AlphaGeometry2 inay soo saarto xalalka si dhakhso leh oo hufan.

3. Tababarka AI oo leh Dhibaatooyin Joomatari oo Kakan iyo Kala duwan

Waxtarka qaabka AlphaGeometry2's neural model wuxuu ka yimaadaa tababbarkiisa ballaaran ee dhibaatooyinka joomatari ee synthetic. AlphaGeometry ayaa markii hore soo saartay hal bilyan oo jaantus joomatari oo random ah si ay u abuurto 100 milyan tusaalooyin tababar oo gaar ah. AlphaGeometry2 waxa ay qaadaysaa tallaabo dheeraad ah iyada oo soo saaraysa jaantusyo aad u ballaadhan oo kakan oo ay ku jiraan xidhiidhada joomatari ee adag. Intaa waxaa dheer, waxay hadda ku daraysaa dhibaatooyinka u baahan soo bandhigida dhismayaal kaabayaal ah - dhibcood ama khadadka cusub ee la qeexay kuwaas oo caawiya xallinta dhibaatada, taas oo u oggolaanaysa inay saadaaliso oo ay dhaliso xalal aad u casrisan.

4. Helitaanka Waddada ugu Wanaagsan ee Xalka oo leh Xeelado Raadin Wacan

Hal-abuurka muhiimka ah ee AlphaGeometry2 waa hab-raadinta cusub, oo loo yaqaan Isku-dhafka Aqoonta La Wadaago ee Geedaha Goobidda (SKEST). Si ka duwan kuwii ka horreeyay, ee ku tiirsan habka raadinta aasaasiga ah, AlphaGeometry2 waxay waddaa baaritaanno badan oo isbarbar socda, iyada oo baaritaan kastaa uu wax ka baranayo kuwa kale. Farsamadani waxay u oggolaanaysaa inay sahamiso xalal ballaadhan oo ballaadhan oo suurtagal ah waxayna si weyn u wanaajisaa awoodda AI ee lagu xalliyo dhibaatooyinka adag waqti gaaban.

5. Wax ka Barashada Qaab Luuqad Sare oo Dheeraad ah

Qodob kale oo muhiim ah oo ka dambeeya guusha AlphaGeometry2 waa qaadashada Habka Gemini ee Google, Model-ka casriga ah ee AI kaas oo lagu tabobaray dhibaatooyin xisaabeed aad u ballaaran oo aad u kala duwan. Habkan cusub ee luqadda waxa uu wanaajiyaa awoodda AlphaGeometry2 ee soo saarista xalal-tallaabo tallaabo-tallaabo ay ugu wacan tahay fikradda silsiladda-fikirka oo la hagaajiyay. Hadda, AlphaGeometry2 waxay u wajahi kartaa dhibaatooyinka si habaysan. Marka la hagaajiyo saadaasha iyo barashada noocyada kala duwan ee mashaakilaadka, nidaamku waxa uu hadda xalin karaa boqolkiiba aad uga muhiimsan su'aalaha joomatari heerka Olympiad.

Gaadhida Natiijooyinka Ka Sarreeyey Horyaallada Olombikada Aadanaha

Waad ku mahadsan tahay horumarka kor ku xusan, AlphaGeometry2 waxay xallisaa 42 ka mid ah 50 dhibaatooyinka joomatari ee IMO laga bilaabo 2000-2024, iyada oo gaareysa 84% heerka guusha. Natiijooyinkani waxay ka sarreeyaan waxqabadka a celceliska bilada dahabiga ah ee IMO oo deji heer cusub oo sababaynta xisaabeed ee AI ay wado. Marka laga soo tago waxqabadkeeda cajiibka ah, AlphaGeometry2 waxay sidoo kale samaynaysaa horumarro xagga otomaatigga ah ee caddaynta, taas oo noo soo dhawaynaysa nidaamyada AI ee aan xallin karin oo keliya dhibaatooyinka joomatari laakiin sidoo kale u sharxi sababahooda qaab ay dadku u fahmi karaan

Mustaqbalka AI ee Maqnaanshaha Xisaabta

Horumarka AlphaGeometry ilaa AlphaGeometry2 wuxuu muujinayaa sida AI uu ugu fiicnaanayo maaraynta dhibaatooyinka xisaabeed ee adag ee u baahan fikir qoto dheer, caqli-gal, iyo xeelad. Waxa kale oo ay muujinaysaa in AI aysan hadda ahayn aqoonsiga qaababka - waxay keeni kartaa, samayn kartaa isku xirka, oo ay ku xallin karto dhibaatooyinka siyaabo aad u dareemaya fikradda macquulka ah ee aadanaha.

AlphaGeometry2 sidoo kale waxay ina tusinaysaa waxa AI mustaqbalka awood u yeelan karo. Halkii la raaci lahaa tilmaamaha, AI waxa ay bilaabi kartaa sahaminta fikrado xisaabeed oo cusub kaligiis iyo xitaa caawinta cilmi baarista sayniska. Marka la isku daro shabakadaha neerfaha iyo sabab macquul ah, AI ma noqon karto oo kaliya qalab si toos ah u hagaajin kara hawlaha fudud laakiin lamaane u qalma oo caawiya ballaarinta aqoonta aadanaha ee dhinacyada ku tiirsan fikirka muhiimka ah.

Miyaynu geli karnaa xilli ay AI ku caddaynayso aragtiyaha oo ay sahanno cusub ka samayso fiisigiska, injineernimada, iyo bayoolajiga? Sida AI ay uga guurto xisaabinta xoogga xoogga leh una guurto xalinta mashaakil aad u fakar badan, waxaa laga yaabaa in aan qarka u saarno mustaqbalka halkaas oo bini'aadamka iyo AI ay si wadajir ah uga wada shaqeeyaan si ay u daah furaan fikradaha aynaan waligeen u malayn inay suurtagal tahay.