Gudbinnadayada First Proof ee ugu horreeya
Waxaan wadaageynaa isku dayadayada caddaynta ee First Proof, tartan xisaabeed oo tijaabiya in AI ay soo saari karto caddaymo la hubin karo oo ku saabsan dhibaatooyin gaar u ah maaddooyin.
Waxaan ku wadnay nooc gudaha ah dhammaan 10-ka dhibaato ee First Proof(ku furmaa daaqad cusub), oo ah tartan xisaabeed heer-cilmi-baaris ah oo loo sameeyay in lagu tijaabiyo in nidaamyada AI ay soo saari karaan isku dayo caddayn oo sax ah oo la hubin karo. Si ka duwan xisaabta jawaabta-gaaban ama ta qaabka tartanka, dhibaatooyinkani waxay u baahan yihiin in la dhiso dooddo dhammaad-ilaa-dhammaad ah oo ku jira meelaha takhasuska leh, saxnimadana way adag tahay in la xaqiijiyo iyada oo aan dib-u-eegis khubaro jirin. Qorayaasha dhibaatooyinka First Proof waa khubaro hormuud ka ah goobahooda, ugu yaraan laba ka mid ah dhibaatooyinkana waxay furnaayeen sannado ka hor inta aysan qorayaashu xalal u helin. Waax jaamacadeed oo si weyn ula jaanqaadaysa maaddooyinkan ayaa suuragal ahaan xallin karta dhibaatooyin badan hal toddobaad gudaheed.
Waxaan wadaagnay(ku furmaa daaqad cusub) isku dayadayada caddaynta Sabti, Febraayo 14, 2026, 12:00 AM PT. Iyadoo lagu salaynayo jawaab-celinta khubarada, waxaan aaminsanahay in ugu yaraan shan ka mid ah isku dayada caddaynta ee noocka (dhibaatooyinka 4, 5, 6, 9, iyo 10) ay leeyihiin fursad sare oo sax ah, halka qaar kale ay weli dib-u-eegis ku jiraan. Markii hore waxaan rumaysnayn in isku daygeenna dhibaatada 2 ay u badan tahay inuu sax yahay. Iyadoo lagu salaynayo faallada rasmiga ah ee First Proof iyo falanqayn dheeraad ah oo bulshada ka timid, hadda waxaan aaminsanahay inuu khaldan yahay. Waxaan uga mahadcelineynaa ka-qaybgalka, waxaana rajaynaynaa dib-u-eegis sii socota. Dhammaan isku dayadayada caddaynta waxaa laga heli karaa halkan(ku furmaa daaqad cusub). Nuqulka hordhaca ahi waxa ku jira dhammaan tobanka isku day ee caddaynta, iyo lifaaq cusub oo lagu daray oo leh qaabab weydiin iyo tusaalooyin ujeeddadoodu tahay inay la ekaadaan isdhexgaladeenna gacanta ah ee aan la lahayn noocyada inta geeddi-socodku socday.
Waxaan aaminsanahay in cilmi-baarista cusub ee ugu casriyeysan ay tahay malaha habka ugu muhiimsan ee lagu qiimeeyo awoodaha noocyada AI ee jiilka xiga. Halbeegyada tijaabadu waa faa’iido leeyihiin, balse waxay seegi karaan qaar ka mid ah qaybaha ugu adag ee cilmi-baarista: sii haynta silsilado dheer oo caqliyeyn ah, doorashada abstractions-ka saxda ah, la tacaalidda mugdiga ku jira weedhaha dhibaatada, iyo soo saarista dooddo u adkaysta baaritaanka khubarada. Caqabadaha ugu casriyeysan sida First Proof waxay naga caawiyaan inaan cadaadis ku tijaabino awoodahaas goobaha ay saxnimadu adag tahay in la xaqiijiyo, halka qaababka fashilkuna ay xog-bixin leeyihiin.
“Waxaan hadda tababaraynaa nooc cusub oo diiradda koowaad lagu saarayo kordhinta heerka adkaanta fikirkiisa, iyadoo hadafku yahay in noocku si joogto ah u fikiri karo saacado badan isla markaana uu aad ugu kalsoonaado gunaanadyadiisa. Markii la shaaciyay dhibaatooyinka First Proof, waxay u muuqatay goobtii ugu habboonayd ee lagu tijaabin lahaa, sidaas darteed dhammaadkii toddobaadka waan isku dayay. Durba wuxuu awooday inuu xalliyo laba ka mid ah dhibaatooyinka (#9 iyo #10). Intii uu tababarku socday, wuxuu noqday mid sii kordhaya oo karti leh, ugu dambayna xalliyay—sida qiyaasteenna ah—ugu yaraan saddex kale oo dheeraad ah. Waxaan si gaar ah ugu faraxnay markii uu xalliyay #6 dabadeedna, laba maalmood ka dib, #4, maadaama dhibaatooyinkaasi ka yimaadeen maaddooyin qaar badan oo naga mid ahi yaqaannaan. Runtii waa wax layaab leh in la daawado nooc si muuqata u sii caqli badnaanaya maalinba maalinta ka dambaysa.”
– James R. Lee (Cilmi-baare OpenAI, Caqliyeyn)
Waxaan nooca ku wadnay kormeer bini’aadan oo xaddidan. Markii aan siinaynay weydiin noocyada noocka inta tababarku socday, mararka qaar waxaan soo jeedin jirnay in dib loo tijaabiyo xeelado u muuqday kuwo miro dhal ah isku dayo hore. Qaar ka mid ah isku dayada, waxaan ka codsannay noocka inuu ballaariyo ama caddeeyo qaybo ka mid ah caddayn kadib markii aanu helnay jawaab-celin khubaro, si caqliyeyntu u fududaato in la hubiyo. Sidoo kale waxaan fududaynay is-dhaafsi u dhexeeya noocan iyo ChatGPT si loo sameeyo xaqiijin, qaabayn, iyo hab-qoraal. Dhibaatooyinka qaar, waxaan soo bandhigeynaa kii ugu fiicnaa ee dhowr isku day, oo lagu doortay qiimeyn bini’aadan. Tani waxay ahayd orod degdeg ah, hab-raaceennununa ma ahayn mid nadiif ah sida aan rabno qiimeyn si habboon loo xakameeyey. Waxaan rajaynaynaa wada-hadallo aan la yeelanno qabanqaabiyeyaasha First Proof oo ku saabsan tijaabo iyo qaab qiimeyn oo ka adag soo noqnoqoshada mustaqbalka.
Shaqadani waxay ku dhisan tahay natiijooyin hore oo ka yimid noocyada caqliyeynta ee ugu casriyeysan ee xisaabta iyo sayniska. Luulyo 2025, waxaan gaarnay heer-waxqabad billad-dahab ah(ku furmaa daaqad cusub) ee International Mathematical Olympiad annagoo adeegsanayna nooc caqliyeyn oo ujeeddo-guud ah (35/42 dhibcood). Nofeembar 2025, waxaan wadaagnay “Tijaabooyin hore oo ku saabsan dardargelinta sayniska iyadoo la adeegsanayo GPT‑5”, oo ah ururin daraasado kiis ah halkaas oo GPT‑5 ay ka caawisay cilmi-baarayaal inay horumar la taaban karo ka sameeyaan xisaab, fiisigis, bayooloji, iyo meelo kale, iyo sidoo kale xaddidaadaha aan aragnay. Ugu dambaynna, waxaan soo sheegnay wadashaqeyn fiisigis halkaas oo GPT‑5.2 ay soo jeedisay tibaax musharax ah oo loogu talagalay qaaciddada gluon-amplitude taas oo markaas si rasmi ah uu u caddeeyay nooc gudaha ah oo ay qorayaashu xaqiijiyeen.
Waxaan rajaynaynaa ka-qaybgal qoto dheer oo aan la yeelanno bulshada oo ku saabsan sida loo qiimeeyo caqliyeynta heer-cilmi-baaris, oo ay ku jirto jawaab-celin khubaro oo ku saabsan isku dayadan, waxaana ku faraxsanahay inaan awoodahan cusub ka dhigno kuwo laga heli karo noocyada dadweynaha ee mustaqbalka.
