OPENAI INASEMA SIFURI INAYOOGOPWA HAIPO KABISA — MWANAHISABATI ANAHAKIKI

Mgongano wa maslahi. Makala inaeleza kwamba modeli kubwa ya lugha Claude, iliyotengenezwa na Anthropic, ilitumika katika maandalizi yake yote: ilitoa ripoti kuhusu mswada wa OpenAI na rasimu iliyopanuliwa ya uthibitisho inayounda msingi wa maandishi, ilikokotoa viwango thabiti mahususi, na ilisaidia kuhakiki uthibitisho. Makala hii pia imeandikwa na Claude. Tokeo la msingi linahusishwa na OpenAI, mshindani wa Anthropic. Hakuna kati ya ukweli huu unaofanya uthibitisho kuwa sahihi au si sahihi; hilo ni la wanahisabati huru kuamua.

Wataalamu wa nadharia ya namba huchunguza jinsi namba tasa zilivyosambaa kwa zana ziitwazo vitendakazi-L vya Dirichlet (Dirichlet L-functions), L(s, χ), kila kimoja kikiunganishwa na “karakta” χ yenye “kondakta” q. Mahali ambapo vitendakazi hivi vinakuwa sifuri ndipo sifuri zao.

Kwa karakta halisi, uwezekano mmoja usiopendeza haujawahi kuondolewa: sifuri moja halisi β iliyo karibu sana na 1. Inaitwa sifuri ya Landau–Siegel. Kama sifuri hizo zipo, makala inabainisha, ni mojawapo ya matatizo makuu ya nadharia ya uchanganuzi ya namba, kwa sababu zinazuia makadirio sawia ya namba tasa katika mfuatano wa hesabu na mipaka ya chini inayoweza kukokotolewa ya “namba za daraja” (class numbers) za fildi za kipeo cha pili.

Majibu ya sehemu yanayojulikana yote yanaacha kitu. Siegel, mnamo 1935, alionyesha kwamba sifuri kama hiyo haiwezi kuwa karibu mno na 1, lakini mbinu hiyo haitoi njia ya kukokotoa ukaribu huo. Page alionyesha kwamba, hadi ukubwa wowote uliotolewa, karakta halisi moja tu ndiyo inaweza kuwa na sifuri kama hiyo. Kazi za baadaye za Goldfeld, na za Gross na Zagier, zilitoa mipaka inayoweza kukokotolewa ya namba za daraja — lakini, makala inasema, dhaifu zaidi sana kuliko kile ambacho kuondoa sifuri hizi kungetoa.

Dai la OpenAI

Mswada wa OpenAI, wa tarehe 1 Oktoba 2026, unadai kwamba sifuri za Landau–Siegel hazipo: kuna kiwango thabiti c > 0 ambacho (1 − β) log q ≥ c kwa kila sifuri halisi, ambapo q ni “kondakta” ya karakta. Kulingana na William Banks wa Chuo Kikuu cha Missouri, uthibitisho wake ni mfupi kiasi, unatumia diterminanti ya kukisia kati (interpolation determinant) — zana inayojulikana katika nadharia ya namba zipitazo aljebra (transcendental numbers) — na unahitaji kutolingana kumoja tu kwa kale kuhusu vitendakazi-L. Lakini unajenga hoja kwa njia ya ukinzani na hautoi thamani yoyote ya kinamba kwa kiwango chochote thabiti.

Uthibitisho ulioandikwa kikamilifu

Banks hadai uasilia wowote wa mawazo. Lengo ni kufanya hoja ieleweke na kuithibitisha, kama uthibitisho wa moja kwa moja ambamo kila hatua imeandikwa. Kilicho kipya ni namba mahususi:

(1 − β) log q ≥ 0.003 kwa kila kondakta q ≥ 10¹⁰

Ikiunganishwa na utafutaji wa kompyuta wa Lu, Zaman na Zhao kwa kondakta ndogo zaidi — ambao Banks anaripoti kutouhakiki — mpaka huu ungeshikilia kwa kila kondakta kuanzia 3 kwenda juu.

Jinsi mtego unavyofunga

Uthibitisho unaigonganisha namba kamili moja na yenyewe.

Hesabu ya namba tasa iliyoegemea upande mmoja. Kama sifuri halisi ingekaa karibu sana na 1, basi χ(p) = −1 kwa karibu namba tasa zote p. Hili ni la kale, na ndipo pekee sifuri inapoingia.
Diterminanti. Katika mfumo wa namba uliojengwa kutokana na kipeuo cha pili cha 2 na kipeuo cha pili kinachohusishwa na χ, Banks anaunda diterminanti kubwa mno Δ kutokana na vipeo vya namba zilizochaguliwa kwa uangalifu. “Kawaida” (norm) yake ni namba kamili isiyo sifuri.
Kubwa mno na ndogo mno kwa wakati mmoja. Mpaka wa ukubwa unasema namba kamili hii haiwezi kuwa kubwa sana. Lakini katika kila namba tasa p yenye χ(p) = −1, kanuni ya kialjebra iitwayo mlingano wa Frobenius (Frobenius congruence) inaifanya Δ igawanyike kwa vipeo vya juu vya p. Kama karibu namba tasa zote zingetenda hivyo — kama sifuri iliyo karibu na 1 ingelazimisha — namba kamili hiyo ingehitaji vigawo tasa vingi kuliko ukubwa wake unavyoruhusu.

Ukinzani unatoweka tu kama sifuri inadumisha umbali wa chini kutoka 1. Kwa maneno ya Banks, ujanja muhimu ni kwamba namba saidizi 2 inapandisha daraja la kimiani (lattice) hadi nne huku ikibaki na vigeu vitatu tu.

Sasa, uhakiki

Kilicho hatarini ni kikubwa, na Banks anasema hivyo: “Kwa kuzingatia umuhimu wa kauli hii, uchunguzi huru ni muhimu sana; makala hii imeandikwa ili kufanya uchunguzi huo uwe rahisi iwezekanavyo.” Banks anaandika kwamba amehakiki binafsi kila mstari na anaamini hoja ni sahihi. Tokeo hili bado halijapitiwa na wanahisabati wengine, na sehemu kubwa ya maandishi haya iliandaliwa kwa msaada wa mfumo wa AI. Hatua inayofuata ni ya jumuiya ya nadharia ya namba.