Siku moja tu baada ya OpenAI kufanya muundo wake wenye nguvu zaidi kupatikana kwa ujumla, kampuni inasema mfumo umetoa uthibitisho kamili wa Dhana ya Jalada la Mzunguko wa Mzunguko - shida iliyoadhimishwa katika nadharia ya grafu ambayo imepinga wanahisabati kwa takriban nusu karne.
Mtafiti wa OpenAI Ethan Knight alitangaza matokeo mnamo Julai 10, 2026, akichapisha kwamba GPT-5.6 Sol Ultra "ilitoa uthibitisho wa Dhana ya Jalada la Mzunguko wa Mzunguko wa miaka 50 kwa kutumia vifaa vidogo 64 kwa chini ya saa moja." Dai hilo lilipanda hadi kileleni mwa Hacker News, likivuta mamia ya maoni kutoka kwa wanahisabati na wahandisi wakijadili iwapo uthibitisho huo unashikilia.
Kwa mtu yeyote anayefuatilia maendeleo ya hivi punde ya AI, matokeo yake ni onyesho la kuvutia la wapi miundo ya mipaka inaelekea - na ukumbusho kwamba madai yao ya hisabati bado yanahitaji kuangaliwa kwa njia ya kizamani.
Dhana ya Jalada la Mzunguko ni Nini?
Dhana iko katika tawi la hisabati linaloitwa nadharia ya grafu. Kwa maneno wazi, inauliza swali rahisi kwa udanganyifu: je, kingo za grafu yoyote "isiyo na daraja" - moja isiyo na makali ambayo kuondolewa kwake kungeigawanya - daima kufunikwa na mkusanyiko wa mizunguko ili kila makali moja yaonekane mara mbili haswa?
Tatizo lilitolewa kwa kujitegemea na wanahisabati kadhaa kwa miaka mingi, ikiwa ni pamoja na Paul Seymour mwaka wa 1979 na George Szekeres mwaka wa 1973, na mizizi ya awali ya kazi na W. T. Tutte na Alon Itai na Michael Rodeh. Licha ya taarifa yake rahisi, ikawa mojawapo ya matatizo yanayojulikana zaidi ambayo hayajatatuliwa kwenye shamba, na matokeo ya sehemu yalijulikana tu kwa madarasa maalum ya grafu.
Kulingana na dokezo la uthibitisho la OpenAI lililochapishwa, hoja hiyo inapunguza tatizo kuwa grafu za ujazo zisizo na mizunguko, kisha hutegemea matokeo ya kitambo - nadharia ya mtiririko wa nowhere-sifuri juu ya kikundi F32 (sawa na nadharia ya Tutte ya mtiririko 8) - na hatua muhimu ya mstari wa algebra ambayo inabadilisha uwekaji lebo kwenye safu mbili ya mzunguko unaohitajika kwa mzunguko. Maandishi hayo yana kurasa chache tu na, haswa, hutumia "hakuna hesabu iliyoandaliwa ndani ya miaka 30 iliyopita," kama mtoa maoni mmoja wa Hacker News alivyoona.
Jinsi GPT-5.6 Sol Ultra Ilivyoikaribia
Kinachotenganisha matokeo haya kutoka kwa majibu ya kawaida ya gumzo ni jinsi mtindo ulivyotumwa. GPT-5.6 Sol Ultra iliendeshwa katika hali ya "multiagent v2" ya OpenAI, ikitengeneza mfumo wa hadi mawakala 64 wanaoshirikiana ambao waligundua mikakati tofauti ya uthibitishaji kwa sambamba. OpenAI ilitoa kidokezo kamili pamoja na uthibitisho, ikitoa mwonekano adimu wa maagizo yaliyotolewa kwa mfumo.
Kidokezo kiliagiza kielelezo "kutumia wakala v2 nyingi kwa ukali na kwa nguvu," ili kudumisha "mbinu mbalimbali," na kupeleka maajenti wa wapinzani kukagua uthibitisho wa mgombeaji kwa hitilafu zinazofanana - kama vile njia fupi zinazojifanya kama mizunguko au mawazo ya kimakosa ya mzunguko. Hata iliambia mfumo "tumia angalau saa 8 kwa hili kabla hata ya kufikiria kurejea au kukata tamaa," ingawa mbio za mwisho ziliripotiwa kukamilika chini ya saa moja.
Katika sehemu ya "Taarifa ya matumizi ya AI" ya noti ya dhibitisho, OpenAI iko wazi: "Uthibitisho katika dokezo hili unatokana kabisa na GPT 5.6 Sol Ultra na uandishi wa Codex (pamoja na GPT 5.6 Sol)."
Bado Sio Kila Mtu Anasadiki
Jumuiya ya hisabati imejibu kwa mchanganyiko wa msisimko na tahadhari - na kwamba mashaka yamewekwa vyema. Hadi kuchapishwa, uthibitisho haujathibitishwa rasmi katika kisaidizi cha uthibitisho kama vile Lean, wala haujapitisha ukaguzi wa kawaida wa wenzao.
Kwenye Habari za Hacker, watoa maoni kadhaa walibaini kuwa uthibitisho mfupi, maridadi wa dhana maarufu unastahili kuchunguzwa kwa uangalifu. "Ni uthibitisho mfupi sana ambao hautumii hesabu iliyotengenezwa ndani ya miaka 30 iliyopita," aliandika mtumiaji mmoja. "Ambayo haifanyi kuwa makosa, lakini kwa kukosekana kwa urekebishaji katika Lean au ukaguzi sahihi wa rika, nadhani ni mapema kuchapisha hii."
Wengine walisema kwamba maktaba zinazoongoza za uthibitisho rasmi wa nadharia ya grafu bado hazijakomaa vya kutosha kuangalia matokeo ya kiwango cha utafiti wa aina hii, wakimaanisha kuwa uthibitishaji unaweza kuhitaji kutoka kwa wataalamu wa kibinadamu wanaosoma hoja kwa mstari. OpenAI yenyewe iliandaa tangazo kama sehemu ya muundo mpana zaidi: "Kokotoo zaidi la muda wa majaribio husababisha akili zaidi," kampuni ilisema, ikiashiria kwamba mbinu ya wakala wengi - sio matokeo haya - ndio hadithi halisi ambayo inataka kusimulia.
Kwanini Ni Muhimu
Hata kama uthibitisho wa Jalada la Mzunguko wa Mzunguko hatimaye unahitaji marekebisho, kipindi kinaashiria mabadiliko ya maana katika kile miundo mikubwa ya lugha inaweza kufanya katika hisabati halisi. Mifumo ya Frontier AI hapo awali imetoa matokeo ya utafiti wa riwaya katika vikoa maalum - ikiwa ni pamoja na madai mengine ya hivi karibuni ya matatizo yaliyotatuliwa katika jiometri na combinatorics - lakini kushambulia dhana iliyotajwa, ya miongo kadhaa na kundi lililoratibiwa la mawakala wa hoja huinua kiwango kikubwa.
Kwa watafiti, kuchukua ni mara mbili. Kwanza, kichocheo cha mawakala wengi - majaribio mengi ya kujitegemea, uchavushaji mtambuka wa mawazo, na ukaguzi wa kihasama - inaonekana kuwa kiolezo muhimu kwa utatuzi mgumu wa matatizo. Pili, kikwazo cha uthibitishaji sasa kiko kwa wanadamu: kielelezo kinaweza kutoa uthibitisho wa watahiniwa haraka zaidi kuliko jamii inavyoweza kuwakagua.
Mvutano huo unaweza kufafanua awamu inayofuata ya hisabati inayosaidiwa na AI. Kama mtoa maoni mmoja alivyosema, ikiwa uthibitisho huu unashikilia, "mtu anakaribia kuanzisha orodha" ya matatizo mengine ya muda mrefu ya kutupa kwa kizazi kijacho cha wanamitindo.
Kwa sasa, wanahisabati watakuwa wakisoma kidokezo cha kurasa tatu kwa makini - penseli mkononi - huku sekta nyingine ya AI ikitazama kuona kama juhudi za saa moja za GPT-5.6 inakuwa sehemu ya rekodi ya kudumu ya hisabati.
Kaa Mbele ya AI
Kwa zaidi kuhusu mafanikio ya miundo ya mipakani na ufunikaji wa utafiti wa AI, tembelea Ukurasa wa nyumbani wa AI Buzz Wire.
Soma habari zaidi za AI →
