TATIZO LA KUMI LA HILBERT KWA SEHEMU: VISIVYOJULIKANA 86 VINATOSHA

Tatizo la kumi la Hilbert, lililotolewa mwaka 1900, linaomba algoriti inayopokea mlinganyo wowote wa polinomia wenye vigawo vya namba kamili, P(x₁, …, xₙ) = 0, na kuamua kama una suluhisho katika namba kamili. Mwaka 1970, Matiyasevich, akijenga juu ya kazi ya Davis, Putnam na Robinson ya 1961, alithibitisha kwamba hakuna algoriti kama hiyo. Tatizo haliamuliki (undecidable).

Kisha wanahisabati walianza kuhesabu. Mlinganyo unahitaji visivyojulikana vingapi kabla swali halijawa lisiloamulika? Zhi-Wei Sun, wa Chuo Kikuu cha Nanjing, alikuwa ameonyesha kwamba 11 vinatosha kwa namba kamili, na hivi karibuni akashusha hadi 10.

Swali lilelile, kwa sehemu

Uliza swali hilo kwa namba wiano (rational numbers) — sehemu — badala yake. Njia ya kawaida ingepitia namba kamili: kama ungeweza kutenga namba kamili miongoni mwa namba wiano kwa kutumia mlinganyo wa polinomia, nadharia ya Matiyasevich ingehamia huko. Makala inaorodhesha hatua muhimu. Robinson alitoa ufafanuzi wa kimantiki wa namba kamili ndani ya namba wiano mwaka 1949, uliorahisishwa na Poonen mwaka 2009. Koenigsmann alionyesha mwaka 2016 kwamba namba zisizo kamili zinaweza kuelezwa kwa mlinganyo kama huo, na kazi za baadaye zilipunguza idadi ya visivyojulikana vinavyohitajika kwa hilo hadi 10 (Daans, 2024), kisha 7 (Sun).

Kisha, makala inasema, “hivi karibuni kabisa, OpenAI ilitoa chapisho la awali” linalothibitisha kwamba tatizo la kumi la Hilbert juu ya namba wiano haliamuliki. Chapisho hilo, la tarehe 6 Oktoba 2026 na lililowekwa kwenye hazina ya GitHub ya OpenAI, linategemea kile Sun anachokiita “makadirio ya urefu ya migusano mitano” (five-contact height estimate) na ujenzi unaoondoa “ncha witiri” (odd poles). Jinsi lilivyotengenezwa halielezwi katika makala ya Sun.

Nadharia 1.1

Mchango wa Sun ni namba. Nadharia 1.1: HTP₈₆(ℚ) haiamuliki. Kwa maneno: hakuna algoriti inayoamua, kwa kila polinomia f(x₁, …, x₈₆) yenye vigawo vya namba kamili, kama f = 0 ina suluhisho katika sehemu.

Uthibitisho unaingiza matokeo yake mwenyewe ya visivyojulikana 10 kwa namba kamili ndani ya mitambo ya chapisho la awali la OpenAI. Nukta kumi kwenye mkunjo duaradufu (elliptic curve) usiobadilika — hapa y² = x³ − d₀²x juu ya namba za aina a + b√2, ambapo d₀ = 75 − 53√2 — zinasimba namba kamili kumi. Namba tasa maalum, zinazogunduliwa kwa makadirio ya urefu, zinaruhusu mlinganyo kukagua kama polinomia ya ingizo inatoweka kwenye namba hizo kumi. Orodha yenye kikomo ya “walinzi” inaondoa suluhisho za uongo zinazobaki. Ikiendeshwa sambamba na utafutaji wa kawaida wa suluhisho za namba kamili, hili linageuza chombo chochote cha kuamua (oracle) kwa sehemu kuwa utaratibu wa kuamua kwa namba kamili — jambo lisiloweza kuwepo.

Kuokoa visivyojulikana

Sehemu kubwa ya kurasa 42 inahusu uwekevu. Sun anaorodhesha mikakati mitano. Badiliko la viwianishi linahamisha “migusano” mitano ya makadirio ya urefu hadi nukta zenye kikomo. Kigeu kimoja cha “mteremko” kinahudumia ukaguzi ishirini na moja kwa wakati mmoja. Kundi moja la pamoja la nukta kumi na moja kwenye mkunjo linachukua nafasi ya makundi mengi tofauti — jambo linalohitaji kujenga familia nzima za namba tasa zinazoendana, kwa kutumia nadharia ya mabaki ya Kichina iliyopanuliwa na matokeo ya Tao na Ziegler kuhusu mifumo ya polinomia katika namba tasa, miongoni mwa mengine. Ukaguzi unapangwa upya ili masharti 33 yachukue nafasi ya 42. Na mwishoni, kila chaguo la kialjebra lililobaki na kila sharti la “hiki kisiwe sifuri” vinakunjwa ndani ya kigeu kimoja cha mwisho.

Hesabu, kama ilivyoandikwa katika makala:

2(10 + 11) + 1 + 2 · 21 + 1 = 86

— viwianishi viwili kwa kila moja ya nukta 21 kwenye mkunjo, mteremko mmoja wa pamoja, visivyojulikana viwili vya kusaidia kwa kila moja ya ukaguzi 21, na kigeu kimoja cha mwisho kinachomeza vilivyobaki.

Si neno la mwisho

Sun anasema waziwazi kwamba 86 ni “kikomo cha juu kinachotolewa na ujenzi huu”, si dai kwamba visivyojulikana vichache zaidi vingeshindwa. Kwa namba kamili, idadi ilitoka 11 hadi 10; kwa sehemu, mbio ndiyo kwanza zimeanza.

Matokeo haya pia yanajengwa juu ya kazi za hivi karibuni ambazo hazijapitiwa na wataalamu, kulingana na marejeleo: chapisho la awali la OpenAI la mwanzoni mwa Oktoba na makala ya Sun mwenyewe ya visivyojulikana 10, iliyowekwa kwenye arXiv mwaka huu. Makala ya Sun pia ni chapisho la awali. Kurasa zake 42 za nadharia ya namba — chujio, mifumo ya namba tasa na mikunjo duaradufu — sasa zitakaguliwa na wanahisabati wengine.