GPT-5.6 Sol Ultra ya OpenAI Imetatua Dhana ya Hisabati ya Miaka 50

Mtindo mpya wa uwezo wa kufikiri wa OpenAI, GPT-5.6 Sol Ultra, inaripotiwa imepata mafanikio makubwa katika nadharia ya grafu (graph theory) kwa kutatua dhana ya hisabati ambayo imekuwa haijatatuliwa tangu miaka ya 1970. Kwa kutumia uvumilivu mkubwa wa kimitambo na usanifu wa wakala-wengi (multi-agent architecture), mtindo huo ulitoa uthibitisho kamili kwa chini ya saa moja.

Kutatua Siri ya Nadharia ya Grafu

Dhana inayohusika inajibu swali la msingi katika nadharia ya grafu: ikiwa seti ya mizunguko (cycles) inaweza kupatikana katika mtandao wowote wa vilele (vertices) na pembe (edges) ambao unapita kwenye kila pembe moja kwa moja mara mbili tu. Ingawa wanahisabati wamepata suluhu za sehemu kwa matukio maalum katika miongo mitano iliyopita, uthibitisho wa jumla umekuwa vigumu kupatikana.

Thomas Bloom, mwanahisabati katika Chuo Kikuu cha Manchester, alielezea uthibitisho huo kama "mfupi, wa msingi, na ungeweza kugunduliwa katika miaka ya 1980." Kwa kushangaza, suluhu hiyo haikuhitaji uvumbuzi wa nadharia mpya kabisa za hisabati; badala yake, iliunganisha kwa akili zana zilizopo na mifumo ya hisabati inayojulikana.

Nguvu ya Uvumilivu wa Mashine

Swali muhimu linajitokeza: ikiwa hisabati hiyo ilikuwa "ya msingi," kwa nini binadamu walishindwa kuitatua kwa miaka 50? Bloom anapendekeza kuwa suluhu hiyo ilihitaji mabadiliko madogo, yasiyotarajiwa katika mantiki. Wanahisabati wa binadamu mara nyingi hufuata njia za kimantiki ambazo, zinapofeli, hupelekea hitimisho kwamba tatizo hilo haliwezi kutatuliwa.

Kinyume chake, GPT-5.6 Sol Ultra inaonyesha kiwango cha "uvumilivu wa mashine." Haipati upendeleo wa kiakili wa kukata tamaa. Badala yake, mtindo huo unachunguza mabadiliko madogo madogo katika mantiki na uwekaji lebo hadi njia ya mafanikio inapopatikana. Uwezo huu wa kutumia nguvu kubwa (brute-force) katika mabadiliko ya kimantiki bila "kukata tamaa" uliiruhusu AI kupita vikwazo vya kiakili vilivyowazuia watafiti wa binadamu.

Uhandisi wa Maelekezo (Prompt Engineering) wa Juu na Usanifu wa Wakala-Wengi

Mafanikio ya Sol Ultra hayakuwa matokeo ya akili tupu tu, bali ya uhandisi wa maelekezo (prompt engineering) uliopiga hatua kubwa. Ili kuhakikisha mtindo huo hausemi "sijui" kama chaguo la kawaida, watafiti walitumia mfululizo wa maelekezo madhubuti:

• Dhana ya Kulazimishwa: Maelekezo yalilazimisha mtindo huo kudhania kuwa uthibitisho kamili upo, kuzuia kusema kuwa dhana hiyo haijatatuliwa.
• Ufungaji wa Taarifa: Mtindo huo ulizuiwa kutafuta mtandaoni ili kuhakiki ikiwa tatizo hilo tayari limeshatatuliwa.
• Majaribio ya Ushindani ya Wakala-Wengi: Mfumo wa mawakala 64 ulitumiwa. Wengi walikaa "gizani" kuhusu ni njia gani ya kimantiki ilikuwa inafanya kazi ili kuhakikisha mantiki huru, huku mawakala washindani wakichunguza uthibitisho wa kielelezo kwa makosa maalum, kama vile njia zilizofungwa zilizotambuliwa vibaya.

Mdahalo Kuhusu Ubunifu wa AI na Marejeo

Mafanikio haya yameanzisha upya mdahalo kuhusu ikiwa LLMs ni "ubunifu" kweli au ni mchanganyaji tu wa kisasa wa maarifa yaliyopo. Bloom alibainisha kuwa mawazo ya msingi katika uthibitisho huo yanatokana na makala ya mwaka 1983 ya Bermond, Jackson, na Jaeger. Alikosoa OpenAI kwa kushindwa kurejelea kazi hii ya awali, akibainisha kuwa makala yanayozalishwa na AI mara nyingi hutumia mbinu zilizopo bila utambulisho unaofaa.

Ingawa jumuiya ya kisayansi bado inasubiri uthibitisho kamili wa hisabati, tukio hili linaashiria mabadiliko katika ulimwengu wa AI. Mifumo mikubwa ya AI inazidi kutumika kushughulikia matatizo ya kisayansi ambayo hayajatatuliwa, ikiwa uwezekano wa kugundua suluhu ambazo zimekuwa karibu na binadamu tangu mwanzo.

Mambo Muhimu ya Kuzingatia

• Uvumilivu badala ya Ugumu: AI ilitatua tatizo la muda mrefu si kwa kuvumbua hisabati mpya, bali kwa kutumia nadharia zilizopo kwa kiwango cha mabadiliko ya kimantiki yasiyochoka ambacho binadamu hawana.
• Vizuizi Madhubuti Huleta Matokeo: Matumizi ya maelekezo ya "ushindani" na kuzuia utafutaji wa mtandaoni yalilazimisha mtindo huo kupata suluhu badala ya kutoa jibu la kawaida la "haijatatuliwa".
• Changamoto ya Utambulisho: Tukio hili linaangazia wasiwasi unaoongezeka katika utafiti wa AI kuhusu ukosefu wa marejeo sahihi wakati mifumo inapochanganya maandiko ya kisayansi yaliyopo.