DHANIO LA 1959, UTHIBITISHO KUTOKA OPENAI, NA MWANAHISABATI ALIYEUSOMA

Makala haya yanahusu maelezo yaliyoandikwa na mwanahisabati ili kufafanua uthibitisho wa mtu mwingine. Kila kinachosemwa hapa kuhusu uthibitisho wa OpenAI kinatoka katika maelezo hayo, kwa kusikia kutoka kwa mwingine.

Mikunjo kupitia pointi

Tatizo hili linatokana na zoezi la shuleni linaloitwa ukadiriaji wa kati (interpolation): chagua thamani chache za x, amua thamani ambayo fungu linapaswa kuchukua katika kila moja, na polinomia fulani hufanya hivyo kila mara. Kwenye ndege, mchezo huohuo unamtaka mkunjo apite kwenye seti ya pointi, jambo analoweza kufanya ikiwa daraja lake ni la juu vya kutosha. Mkunjo wa daraja d — unaochorwa na mlinganyo wa polinomia katika x na y ambao kipeo chake cha juu zaidi ni d: mstari ulionyooka una daraja 1, duara daraja 2 — una vigawo (d+1)(d+2)/2, na kuutaka upite kwenye pointi ni mlinganyo mmoja.

Sasa omba zaidi: mkunjo lazima upite kila pointi kwa uwingi m — mara kadhaa, kama fundo la matawi yanayokatiza hapo. Kila pointi kama hiyo inaweka milinganyo m(m+1)/2. Kwa d na m kubwa, hesabu ni takriban vigawo d²/2 dhidi ya masharti r m²/2, kwa hivyo, kwa pointi r, hesabu inahakikisha mkunjo mara tu d/m inapozidi kidogo √r — kwa usahihi, mara tu vigawo vinapozidi masharti kwa idadi.

Dhanio la Nagata (1959) linaeleza hili kwa usahihi: kwa pointi r ≥ 10 zilizowekwa kwa namna “ya jumla sana” — bila sadfa yoyote maalum kati yao, kama zingekuwa pointi zilizochaguliwa kwa nasibu —, kila mkunjo kama huo una daraja kubwa kuliko m√r. Sharti la r ≥ 10 linahitajika: pointi tisa daima ziko kwenye mkunjo wa daraja la tatu, na mkunjo huo ukichukuliwa mara m ni mkunjo wa daraja 3m unaopita mara m kwenye kila moja yao — ni m√9 kamili, usawa ambao dhanio linautenga. Nagata alilithibitisha wakati r ni kipeuo kamili.

Mifano miwili kutoka kwenye maelezo: hakuna mkunjo wa daraja la 9 unaopita mara tatu kila moja ya pointi 10 za jumla (vigawo 55 tu kwa masharti 60 — hilo peke yake halitoshi kuhitimisha, kwa kuwa masharti yanaweza kuingiliana; kinachouondoa ni kikomo cha Nagata, kwa kuwa 9 iko chini ya 3√10 ≈ 9.5), na hakuna mkunjo wa daraja la 12 unaopita mara tatu pointi 16 za jumla — hali ya usawa 12 = 3√16.

Uthibitisho, kama Tevelev anavyousimulia

Marejeo ni “OpenAI, Nagata’s conjecture for plane curves”, chapisho la awali la OpenAI Math Release la tarehe 23 Septemba 2026, pamoja na miswada shirikishi kuhusu maswali yanayohusiana iliyotolewa tarehe 23 Septemba na 5 Oktoba. Jenia Tevelev, wa UMass Amherst, aliuchunguza kwa ajili ya hotuba na kugeuza maelezo hayo kuwa maandishi haya, akitumaini “yatakuwa na manufaa, hasa kwa wasio wataalamu”. Tevelev hadai uasilia wowote na alipanga upya hoja.

Hatua za kawaida za kwanza zinabana ndege hadi kwenye mkunjo laini wa daraja la tatu (cubic curve) na kuunganisha pointi r kuwa moja. Wazo jipya, katika maelezo haya, ni kuuacha mkunjo wa daraja la tatu ujenge nodi — pointi ambapo mkunjo unajikatiza wenyewe, ukikinyonga kitanzi — na kufuatilia fungu za theta (theta functions) zake, njia ya kawaida ya kuandika fungu zinazoishi kwenye mkunjo wa namna hiyo, kadiri mnyongo huo unapofunga. Kisha uwili unabadilisha swali “mikunjo ipi inatoweka kwenye pointi?” kwa kioo chake, “thamani zipi zinaweza kuamriwa hapo?”, na kinachobaki ni ukadiriaji wa kati kwenye pembetatu ya pointi za kimiani za namba nzima — jedwali lenye kikomo la thamani za kujaza, “jambo lililo moja kwa moja”.

Hali ya pointi kumi na sita za mara tatu: pointi 91 za kimiani za pembetatu (kushoto) na monomia 96, vipengele vya msingi kama x²y ambavyo polinomia hujengwa navyo (kulia). Kuonyesha kwamba vipengele hivi 96 vinaweza kuchukua thamani zozote kwenye pointi 91 — matriki ya 96 × 91 ina “cheo kamili” — kunaondoa uwezekano wa mkunjo huo. — Kielelezo 3, Tevelev (2026), arXiv:2610.30050, CC BY 4.0.

Hesabu hiyo hiyo inamaliza swali linalohusiana, la kiufundi zaidi, ambamo ndege inakuzwa kuzunguka pointi moja kwa viwango tofauti katika pande mbili (“ulipuaji wenye uzito”, weighted blow-ups), wakati uwiano wa viwango hivyo unazidi tisa — hali moja ya dhanio la Dumnicki, Harbourne, Küronya, Roé na Szemberg.

Maelezo yanawasilisha hoja kama uthibitisho. Hayataji ukaguzi wowote huru rasmi, kama vile tathmini ya wenzao au uthibitisho uliohakikiwa na kompyuta.

“Msomaji wao wa kwanza binadamu”

Maelezo pia yana maoni ya mwandishi. Akisoma miswada iliyotolewa, Tevelev “alijiuliza kama huenda mimi ndiye msomaji wao wa kwanza binadamu. Ilionekana karibu haijahaririwa kabisa.” Tevelev anashuku kwamba kampuni ilitarajia wanahisabati waipange, kazi ya uhariri “inayohitaji utaalamu na muda, lakini inaleta kidogo sana cha utambuzi unaohusishwa na utafiti asilia”. Kama wengine wengi, Tevelev anaamini mtazamo huu unaidhuru taaluma, “hasa motisha na mafunzo ya vijana”.

“Wakati huo huo, nadhani miswada hii ni mafanikio ya kustaajabisha,” Tevelev anaandika: modeli ilitatua matatizo ambayo wataalamu wengi waliona hayafikiki, na “vichaka vya zamani vya madhanio ya hisabati” vinaendelea “kuteketezwa kwa kasi katika moto wa AI”.

Pendekezo: wakfu huru unaofadhiliwa na kampuni za AI, unaotoa ruzuku, ushirika wa utafiti na ufikiaji wa modeli bora kwa watafiti vijana, ukiwa na tathmini ya wenzao kwa mfano wa National Science Foundation ya Marekani.

Maelezo yanasema “yalihaririwa na kuwekwa michoro kwa ChatGPT Astra”.