Maxaa dhacay
Daraasad cusub oo arXiv ah ayaa qeexaysa sida nidaamka cilmi-baarista AI uu uga caawiyay xisaabiyeyaasha inay hagaajiyaan xuduudaha la yaqaan ee Grothendieck joogtada ah, dhibaato furan oo la xiriirta 1953. Waraaqdu waxay soo bandhigaysaa labadaba natiijada xisaabta iyo diiwaanka faahfaahsan ee meesha nidaamka si fiican loo fuliyay, halkaas oo dadku ay ku qasbanaadeen inay u hoggaansamaan, iyo sheegashooyinka weli mashiinka-xaqiijiyay halkii aadanaha la xaqiijin lahaa.
Grothendieck joogta ah waxay cabbirtaa farqiga u dhexeeya dhibaatada hagaajinta isku-darka adag iyo nasasho simi-defineed ah oo la taaban karo. Qorayaashu waxay soo tebiyeen muddo cusub oo leh xad hoose oo ah 6pi/11, oo ku saabsan 1.7135, iyo xadka sare ee ku saabsan 1.7818. Warqadda xisaabta saaxiibka ayaa bixisa caddaymaha. Natiijadu waa mid la arki karo sababtoo ah ma dhiseyso tusaale adag; Taas beddelkeeda waxay keenaysaa xannibaad ka dhan ah nidaamyada wareegitaanka ee khuseeya.
Nadaamka cilmi-baadhistu waxa uu ku lammaaniyay qaab caqli-gal ah iyo wakiil cod-bixineed. Wargeysku wuxuu sheegay in orodku uu isticmaalay GPT-5.5-Pro iyo markii dambe GPT-5.6-Sol sababo la xiriira, Claude Code oo leh Opus iyo markii dambe Fable 5 si loo fuliyo, iyo afar-GPU noode ee raadinta tirada. Kalfadhiyadu waxay ku socdeen si isdaba joog ah iyada oo loo marayo faylalka, qoraalada, diiwaanka tijaabada, iyo soo koobida sheegashooyinka la duubay sida la xaqiijiyay, tiro ahaan la taageeray, mala awaal, ama heuristic halkii lagu tiirsanaan lahaa hal macno oo aan kala go' lahayn.
Orodku wuxuu daboolay qiyaastii 240 kalfadhi oo cilmi baaris ah laga bilaabo Juun 16 ilaa Luulyo 24, oo leh 2,091 wicitaanno-qaab-abuur ah iyo qiyaastii 152 milyan oo calaamado ah oo lagu qiyaasay $5,400 API. Ilaa 40 dardaaran oo bini'aadam ah oo taariikhaysan ayaa hagayay shaqada. Marka goob-raadinta-kor-sare ay soo shaacbaxday, hawl-wadeennadu waxay aqoonsadeen in guul-darrooyinka soo noqnoqda ay muujin karaan xannibaad guud oo nidaamka u jiheeyay dood-xiddigeed hoose. Warqaddu waxay qeexaysaa in isbeddelka jihada cilmi-baarista uu yahay faragelin bini'aadam, ma aha go'aan madaxbannaan.
Nidaamku wuxuu soo saaray dib-u-habayn dhexe iyo caddayn dhammaystiran oo loogu talagalay 6pi/11 xadka hoose, kaas oo qorayaashu ay dib u eegeen oo si madax-bannaan u xaqiijiyeen. Waxa kale oo ay soo saartay musharraxiin tiro badan oo sare iyo hoose kuwaas oo ka gudbay borotokoolka hubinta gudaha, laakiin qorayaashu si madax-banaan uma ay xaqiijin shahaadooyinkaas umana sheegaan in ay yihiin aragtiyo. Sidaa darteed warqadu waxay ka soocaa natiijada xisaabeed ee la xaqiijiyay iyo nidaamka soo saara malo-awaal badan ama wax soo saar la tijaabiyay.
Faahfaahinta isha: Long-horizon AI mathematics case study on arXiv ↗
Maxay muhiim u tahay
Daraasadu waxay bixisaa caddayn aan caadi ahayn oo la taaban karo oo ku saabsan AI oo loo isticmaalo barnaamijka cilmi-baarista oo dhan halkii ay ka ahaan lahayd hal shaqo oo bartilmaameed ah. Helitaanka ugu muhiimsan waa qaybinta shaqada: nidaamku wuxuu ahaa mid xooggan fulinta farsamada, halka cilmi-baarayaasha bini'aadamka ay mas'uul ka yihiin dejinta ajandaha, xukunka, iyo xaqiijinta kama dambaysta ah.
Cilmi-baarista fog-dheer waxay ku adagtahay nidaamka AI sababtoo ah ujeedadu way isbedeli kartaa marka habab guuldarradu ay ururaan. La-shaqeeyaha waxtarka leh waa inuu hayaa wixii la isku dayay, kala soocaa dhammaadka dhintay iyo fikradda aan la xallin, oo uu go'aamiyo marka su'aal cusubi ay ka qiimo badan tahay hagaajinta kale ee maxaliga ah. Xusuusta ku salaysan faylalka qorayaasha iyo sumadaha sheegashada ayaa ah isku dayga lagu doonayo in cilmi-baadhistu ay noqoto mid la arki karo oo la dammaanad qaadi karo halkii ay ka oggolaan lahayd in jawaab hufan ay u istaagto horumarka.
Daah-furka hoose wuxuu muujinayaa sababta xukunka bini'aadamku weli muhiim u yahay xitaa marka wakiilku fulin karo xisaabta. Hawl-wadeenadu waxay ogaadeen in dhismayaal badan oo la isku dayey ay si isku mid ah u fashilmeen oo ay keeneen xudunta fikradda: caddeeyo xannibaadda soo noqnoqda lafteeda. Nidaamku wuxuu markaas ka caawiyay inuu si rasmi ah u caddeeyo dooda. Tixdaasi waxay u dhowdahay sahaminta la kormeerayo marka loo eego xisaabyahan madaxa banaan ee mashiinka, iyo arrimaha kala duwanaanshiyaha marka la qeexayo waxa caddayntu taageerto.
Xaqiijinta madax-bannaanidu waa albaabka laga sii daayo natiijada. Daraasadda xaaladdu waxay sheegaysaa in xadka hoose ay hubiyeen qorayaashu iyo in caddaynta dhammaystiran ay ka muuqdaan warqad wehel ah. Ma dhahayso tiro kasta oo la soo saaro inta lagu jiro orodka waa sax. Haysashada sheegashada heerka-aragtida, murashaxiinta mashiinka lagu tijaabiyay, iyo mala-awaalka kala duwan ayaa siinaya akhristayaasha hab ay ku qiimeeyaan wax ku biirinta iyaga oo aan aqbalin kalsoonida gudaha ee nidaamka AI ee caddaynta xisaabeed.
Hay'adaha cilmi-baarista, casharka wax ku oolka ah waa mid shaqeynaya. Nidaamka AI wuxuu baadhi karaa suugaanta, qori karaa koodka, tijaabinta tijaabinta, wuxuu ilaalin karaa isku dayga fashilmay, wuxuuna soo jeedin karaa isbeddello, laakiin socodka shaqada ee ku hareeraysan wuxuu u baahan yahay caddayn, xisaabinta dib-u-celinta, isbaarooyinka bini'aadamka ee cad, iyo habka dib-u-dhiska sababta kooxdu u bedeshay jihada. Kharashka la soo sheegay iyo xisaabinta ayaa sidoo kale caddaynaya in kartida fogaanta fog aysan ahayn oo kaliya su'aasha sirdoonka moodeelka; waxay kuxirantahay saffolding, waqtiga, iyo kormeer joogto ah.
Farsamaynta Is-dhexgalka: Sida Dhabta Ay U Shaqeyso
U baadh tignoolajiyada hoose ee ka dambeeya horumarkan si isdhexgal leh.
What most distinguishes an AI agent from a basic chatbot?
Maxaa la daawan doona xiga
Su'aasha xigta waa in qaabkan wadashaqayntu uu ka kooban yahay hal dhibaato iyo koox, iyo haddii cilmi-baarayaasha madaxbannaan ay soo saari karaan natiijada la xaqiijiyay iyada oo la cabbirayo qiimaha iyo kalsoonida qof kasta iyo AI wax ku biirinta.
Ku-noqoshada waa inay tijaabisaa qaybaha kale ee xisaabta, noocyada dhibaatooyinka, iyo nidaamyada cilmi-baarista ee leh xusuusta iyo naqshadaha qalabka kala duwan. Dhibaatada Grothendieck waxay la timid qaab-dhismeed la taaban karo oo bini'aadamku dhisay, qoraalo la ururiyay, makiinadaha caddaynta, iyo tilmaamaha murashaxiinta. Qaab-dhismeedkaas hore wuxuu caawiyay socodsiinta, markaa daraasadaha mustaqbalka waa inay soo sheegaan inta ka mid ah gobolka cilmi-baarista ee horay loo bixiyay iyo sida natiijadu isu beddesho marka nidaamku uu qeexo dhibaatada laftiisa.
Cilmi-baarayaashu waa inay sidoo kale isbarbardhigaan fulinta farsamada iyo xukunka cilmi-baarista iyadoo la adeegsanayo tillaabooyinka mustaqbalka. Halbeegyada waxtarka leh waxaa ka mid noqon kara tayada jihooyinka la doortay, waqtiga laga tagayo dariiqa fashilmay, heerka sheegashada aan la taageerin, tirada faragelinta aadanaha, iyo jajabka wax soo saarka ee ka badbaaday hubinta madaxbannaan. Daraasad kiis la nadiifiyay ayaa muujin kara waxa dhacay, laakiin isbarbardhigga la xakameeyey ayaa loo baahan yahay si loo qiyaaso marka la-hawlgalaha AI uu hagaajiyo habka halkii uu si fudud ugu dari lahaa lakab kale oo dib u eegis ah.
Soohdinta u dhaxaysa xaqiijinta mashiinka iyo xaqiijinta bini'aadamka waxay u qalantaa fiiro gaar ah. Xisaabinta dhex-dhexaadka ah, caawiyayaasha caddaynta, imtixaannada, iyo xisaab-xidhka iska-hor-imaadka waxay qaban karaan khaladaad badan, haddana shahaadodu waxay weli qarin kartaa bartilmaameedka khaldan ama waxay ku xidhan tahay malo-awaal aan waligood laga doodin. Shaqada daba-galka ahi waa inay daabacdaa farshaxan dhammaystiran, oo dib u soo celisaa xudduudaha aan la xaqiijin ee ugu xooggan, oo ay ka dhigto natiijooyinka guul-darraystay ama dib-u-noqoshada kuwa u muuqda kuwa guulaystay.
Ugu dambayntii, noocyada moodeelka, dardaarannada, dardaaranka isteerinka, koodka, xisaabinta, iyo qoraallada waa in lagu xafidaa halka shatiga iyo sirnimadu oggolaato. Warqadda hadda jirta qayb ahaan waa mid qiimo leh sababtoo ah waxay ka warbixisaa xaaladahaas waxayna qeexaysaa daciifnimada nidaamka, oo ay ku jiraan cilmi-baarista jilicsan ee matalaadda gobolka iyo madaxbannaanida xaddidan ee xukunka. Ilaa ay kooxaha kale soo saaraan qaabka, tani waa caddayn xooggan oo ah horumarka xisaabeed ee AI-caawisay, maaha caddaynta in nidaamyada AI ay si madaxbannaan u samayn karaan cilmi-baaris furan.