PAKA KILA NAMBA RANGI NYEKUNDU AU SAMAWATI: MAZAO YA RANGI MOJA YANAWEZA KARIBU KUTOWEKA

Chukua kalamu mbili za rangi, moja nyekundu na moja samawati, na upake kila namba kamili chanya kwa mojawapo. Sasa iite namba zao la rangi moja ikiwa inaweza kuandikwa kama zao la namba mbili nyekundu au la namba mbili za samawati — namba ileile mara mbili inaruhusiwa, kwa hiyo 4 = 2 × 2 huhesabiwa daima.

Tatu kati ya nne

Mfano sahili unaonyesha jinsi inavyofanya kazi. Paka namba witiri rangi nyekundu na namba shufwa rangi ya samawati. Hadi 9, mazao ya rangi moja ni 1, 3, 5, 7 na 9 (witiri mara witiri), na 4 = 2 × 2 na 8 = 2 × 4 (shufwa mara shufwa): saba kati ya tisa. Namba 2 inakosa, kwa kuwa mtengano wake pekee kuwa vigawe, 1 × 2, unachanganya rangi; vivyo hivyo 6 = 1 × 6 = 2 × 3. Kwa jumla, idadi hadi n ni (3n + 1)/4 ikikadiriwa chini hadi namba kamili, kwa hiyo sehemu hiyo inaelekea robo tatu. Zinazokosa ni 2, 6, 10, 14… — namba moja kati ya nne.

Je, upakaji rangi wa kijanja zaidi unaweza kufanya vizuri zaidi sana? Ilikuwa tayari inajulikana kwamba kwa upakaji rangi wowote uliowekwa (fixed), mazao ya rangi moja daima huunda sehemu chanya ya namba. Swali halisi, lililoulizwa na Erdős na Sárközy mwaka 1990 na tena mwaka 1993, na kuorodheshwa katika kitabu maarufu cha Richard Guy cha matatizo yasiyotatuliwa katika nadharia ya namba, ni kama kuna sakafu ya jumla: sehemu isiyobadilika ambayo kila upakaji rangi lazima uifikie. Kwa maneno mengine: kwa namba yoyote ndogo ε, je, kuna upakaji rangi ambao sehemu yake ya mazao ya rangi moja, angalau katika vipande fulani, hushuka chini ya ε? Tatizo hili ni la nadharia ya Ramsey ya kuzidisha (multiplicative Ramsey theory), inayochunguza ruwaza ambazo hakuna upakaji rangi unaoweza kuziepuka.

Hakuna sakafu

John M. Campbell, wa Dalhousie University huko Halifax, Kanada, anathibitisha kwamba hakuna sakafu ya jumla. Kwa kila ε, hata iwe ndogo kiasi gani, kuna upakaji rangi wa nyekundu na samawati wa namba kamili ambapo, katika mfuatano usio na mwisho wa vizingiti, chini ya sehemu ε ya namba zilizo hadi kizingiti hicho ni mazao ya rangi moja.

Wazo kuu ni kioo. Ujenzi huchagua mfuatano unaoongezeka wa vizingiti N₁, N₂, N₃… na seti ya sehemu za kubadilishia ambapo rangi hugeuka. Huchaguliwa ili, chini ya kila kizingiti N, namba x na kioo chake N/x daima ziwe na rangi zinazopingana. Zao a × b lililo karibu na N huoanisha namba ndogo na kubwa ambayo karibu ni kioo chake, kwa hiyo vigawe viwili karibu daima hutofautiana kwa rangi. Vighairi adimu — namba zenye kigawanyo katika masafa membamba — huhesabiwa kwa zana za nadharia ya namba ya kiuchanganuzi (analytic number theory), ikiwemo ukweli, unaohusishwa na Euler, kwamba jumla ya vinyume (reciprocals) vya namba tasa, 1/2 + 1/3 + 1/5 + 1/7 + …, hukua bila kikomo.

Upakaji rangi usiofikika

Upakaji rangi huo upo, lakini hakuna atakayewahi kuuona ukifanya kazi. Vizingiti vyake lazima vichaguliwe vikubwa mno, na makala inakokotoa ukubwa huo kwa lengo la ε = 1/10. Kizingiti cha kwanza lazima kizidi namba iliyo kati ya exp(exp(96,303.3504)) na exp(exp(96,303.3505)), ambapo exp(x) humaanisha namba e ≈ 2.718 ikipandishwa kipeo x. Matokeo yake, ikiwa 1 imepakwa rangi nyekundu, namba 10^(10^41,823) za kwanza zote ni nyekundu — idadi ambayo yenyewe ina tarakimu zaidi ya 10^41,823. Ni mbali sana zaidi ya hapo tu ndipo ujanja wa kioo unaanza kufanya kazi. Hakuna kompyuta itakayowahi kukagua upakaji rangi kama huo kwa kuhesabu.

Jibu lililopatikana kwa AI

Makala iko wazi kuhusu jinsi jibu lilivyopatikana. Tarehe 18 Oktoba 2026, Campbell aliipa modeli ya AI, GPT-6 Astra Pro, tatizo kutoka kitabu cha Guy, akiiomba ilitatue. Baada ya dakika 13 na sekunde 53 za “kufikiri”, modeli ilijibu kwamba hakuna konstanti kama hiyo na ikapendekeza ujenzi. Kupitia mazungumzo marefu, masahihisho na ukaguzi, mwandishi kisha aliandika uthibitisho, huku hatua zake kadhaa za kiufundi — uchanganuzi wa visa na kanuni mbili za kutolingana (inequalities) kutoka uchanganuzi wa hisabati (analysis) — zikihusishwa na uchunguzi wa mwandishi mwenyewe. Campbell anaeleza kwamba kila pendekezo la AI lilirekebishwa na kuthibitishwa kwa kujitegemea, na anabeba jukumu kamili la hisabati yake.

Uthibitisho huo ni chapisho la awali (preprint) la mwandishi mmoja na bado haujakaguliwa na wanahisabati wengine. Unahitimishwa kwa maswali mapya: nini hutokea ikiwa namba tasa pekee ndizo zinazopakwa rangi, na ni upakaji rangi upi hufanya sehemu ya mazao ya rangi moja itulie kwenye thamani fulani iliyotolewa — au isitulie kamwe?