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 tababareynaa moodel cusub oo diiradda koowaad ay tahay kordhinta heerka ad-adayga ee fikirkiisa, iyadoo ujeedadu tahay in moodelku uu si joogto ah u fikiri karo saacado badan isla markaana uu si aad ah ugu kalsoonaan karo gunaanadkiisa. Markii dhibaatooyinka Caddeynta Koowaad la shaaciyay, waxay u muuqatay goob tijaabo oo ku habboon, sidaas darteed dhammaadka usbuuca waan tijaabiyay. Horeba waxay u awoodday inay xalliso laba ka mid ah dhibaatooyinka (#9 iyo #10). Intii la tababaraayay, wuxuu noqday mid sii kordhaya awooddiisa, ugu dambaynna wuxuu xalliyay–sida aan annagu u qiyaasnay–ugu yaraan saddex kale oo dheeraad ah. Waxaan si gaar ah ugu faraxsanayn markii ay xallisay #6 ka dibna, laba maalmood ka dib, #4, maadaama dhibaatooyinkaas ay ka yimaadeen dhinacyo ay dad badan oo naga mid ahi si fiican u yaqaannaan. Waa wax aad u yaab badan in la daawado nooc si muuqata u sii caqli badnaanayo maalinba maalinta ka dambaysa.”
– James R. Lee (Cilmi-baare OpenAI, Sababeynta)
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.
