KOSA LA ALAMA LILILOZAMISHA UTHIBITISHO MITATU

Dhana ya Hodge (Hodge conjecture) ni mojawapo ya maswali yasiyotatuliwa yaliyo ya kina zaidi katika hisabati. Katika makala hii, kauli yake imechukuliwa kutoka sura iliyoandikwa na Pierre Deligne katika kitabu cha Taasisi ya Hisabati ya Clay The Millennium Prize Problems. Kwa ujumla sana, inasema kwamba “maumbo” fulani yaliyofichika katika topolojia ya nafasi ya kijiometri inayofafanuliwa kwa milinganyo ya polinomia yanaweza kila mara kujengwa kutokana na vipande vidogo zaidi ambavyo vyenyewe vinafafanuliwa kwa milinganyo.

Mnamo Septemba na Oktoba 2026, OpenAI ilitoa nyaraka tatu, zilizosainiwa “OAI”, zikidai kuthibitisha dhana hiyo katika hali maalum: kwa nyuso fulani ziitwazo nyuso za K3, mazao yake, na nafasi fulani za vipimo vinane. Baadaye OpenAI iliziondoa zote tatu. Yankı Lekili, wa Imperial College London, na Nick Sheridan, wa Chuo Kikuu cha Edinburgh, sasa wanaeleza hasa mahali zilipokosea.

Njia halali kupitia kioo

Nyaraka hizo zilifuata njia maridadi. Wazo lenye nguvu liitwalo ulinganifu wa kioo wa kihomolojia (homological mirror symmetry), lililokisiwa na Maxim Kontsevich, huunganisha nafasi ya kijiometri X na nafasi ya “kioo” Y ya aina tofauti kabisa, inayochunguzwa katika jiometri simplektiki (symplectic geometry) — jiometri iliyorithiwa kutoka fizikia ya mwendo, ambamo hupimwa maeneo badala ya urefu. Kiungo hicho kikishathibitishwa, swali kuhusu X linaweza kubadilishwa kuwa swali kuhusu Y.

Hapa, ili kumaliza swali la Hodge kwa X, inatosha kujenga kitu fulani mahsusi katika kioo Y: umbo linalofanana na uso liitwalo uzamishaji wa Lagrange (Lagrangian immersion), ambalo pia lazima liwe lisilozuiliwa (unobstructed) — sharti la kiufundi linalolifanya kuwa mwanachama halali wa zana za kioo. Lekili na Sheridan wanakubali kwamba hii ni njia halali. Tatizo ni kwamba: kujenga Lagrange zisizozuiliwa ni tatizo gumu lenyewe. Hapo ndipo nyaraka zote tatu zilipovunjika.

Mahali nukta za mkingamo zinapoingia

Uzamishaji unaruhusiwa kujikinga wenyewe, na kila nukta ya mkingamo hubeba namba, daraja lake (degree). Mikingamo ya daraja witiri haina madhara hapa. Mikingamo ya daraja 2 inaweza kuunda kizuizi.

Nyaraka hizo kwanza zilijenga uzamishaji wa kukadiria kwa kutumia mbinu nyumbufu, kanuni-h ya Gromov na Lees. Kisha zilitumia teoremu ya 2013 ya Tobias Ekholm, Yakov Eliashberg, Emmy Murphy na Ivan Smith kuunadhifisha, ili kila mkingamo uwe na daraja witiri. Bila mikingamo shufwa iliyobaki, kutozuiliwa kungefuata.

Alama ya kujumlisha iliyopaswa kuwa ya kutoa

Teoremu ya 2013 ni sahihi. Lakini huhesabu mikingamo kwa kaida ya alama iliyo kinyume na ile ya kawaida. Waandishi wake hawasemi hivyo waziwazi kamwe; wanatumia kaida yao kwa uthabiti, na inaweza kubainishwa kutokana na fomula zao na uthibitisho wao. Nyaraka za OpenAI zilitumia badala yake kaida ya kawaida — alama moja ikageuzwa. Hili ni muhimu kwa sababu matokeo ya teoremu hutegemea kama jumla fulani ya mikingamo, iliyohesabiwa kwa alama za kujumlisha na kutoa, inatoka hasi au la. Nyaraka hizo zilikuwa zimejenga uzamishaji wao ili jumla hiyo iwe hasi — hali ambayo ziliamini kwamba ndani yake kila mkingamo ungeweza kufanywa witiri. Kwa alama ya teoremu yenyewe, jumla hiyohiyo ni chanya: ni hali nyingine. Inaonekana tatizo hilo liligunduliwa kwanza na kuripotiwa kwa OpenAI na Nathan Humphrey.

Alama ikisomwa kwa usahihi, teoremu inasimulia hadithi tofauti. Ujenzi wake kila mara huacha nukta moja ya mkingamo yenye daraja 2, ambayo Lekili na Sheridan wanaiita p. Kila mkingamo mwingine unaweza kufanywa witiri; p hubaki. Na p inatosha kuvunja uthibitisho.

Ni mbaya zaidi kuliko pengo tu. Waandishi wanaonyesha kwamba uzamishaji unaozalishwa kwa njia hii kwa kawaida huzuiliwa: diski ndogo “thabiti” — uso uliojitenga, usioweza kubadilishwa umbo, ambao ukingo wake uko kwenye uzamishaji na hupita kwenye p — huunda kizuizi ambacho, katika hali fulani, hakiwezi kutoweka — na nje ya hali hiyo hakuna sababu ya kujifuta. Kwa maneno yao, mkingamo huu ni “gharama ya unyumbufu”.

Thabiti dhidi ya nyumbufu

Wanahisabati katika fani hii hutofautisha matatizo nyumbufu (flexible), yanayokubali zana za matumizi ya jumla za topolojia tofauti (differential topology), na yale thabiti (rigid), yasiyokubali. Lagrange zisizozuiliwa kwa ujumla ni thabiti, na kwa kawaida mtu anaweza kutoka thabiti kwenda nyumbufu lakini si kurudi. Hisia hiyo ya ndani iliwafanya watafiti kadhaa kuzitilia shaka nyaraka hizo kabla hazijaondolewa. Hata hivyo waandishi wanaongeza neno la unyenyekevu: hisia ya ndani inaweza kukosea, na teoremu ya 2013 yenyewe iliwahi kwenda kinyume na matarajio.

Kinachobaki

Lekili na Sheridan hawachambui sehemu iliyobaki ya hoja, na wanaorodhesha matokeo matatu chanya. Mkakati wa jumla — kushambulia dhana ya Hodge kupitia ulinganifu wa kioo — ni wa kuvutia na unastahili kufuatiliwa; mtu akishinda kikwazo cha Lagrange, nyaraka hizo huenda zikaongoza hatua za kiufundi zilizobaki. Kaida ya alama iliyofichika ya makala ya 2013 sasa imefafanuliwa. Na vivyo hivyo swali la kama uzamishaji wake unaweza kamwe kuwa usiozuiliwa.