Kushirikiana na jumuiya za kitaaluma kujenga uelewa wa kisayansi

Tunatangaza uvumbuzi mpya tatu katika hisabati, sayansi ya kompyuta na fizikia, kuhusu uchanganuzi wa harmoniki, nadharia ya uchangamani na nadharia ya uga wa kwanta.

Mchakato wetu wa kuchapisha matokeo unaendelea kubadilika kulingana na maoni kutoka kwa jamii husika za wanataaluma. Kwa mtazamo wetu, maandiko haya yanaeleweka vyema zaidi yakichukuliwa kama aina ya data ghafi ya utafiti. Ili kugeuza data hii ghafi ya utafiti kuwa uelewa wa kisayansi, tunajaribu mbinu mpya katika uchapishaji huu. Tuliwasiliana na wataalamu wa nje na kuwaomba wasimamie juhudi hizi kwa kuunda vikundi vya kuelewa matokeo mapya. Walipendekeza mikakati mitatu tofauti ya kuchapisha matokeo:

• Kwa matokeo ya hisabati, kuchapisha kilichotolewa na AI, huku watafiti wakiwa huru kupanga juhudi zao wenyewe za kuyaeleza.

• Kwa matokeo ya sayansi ya kompyuta, kuunda kikundi cha washirika wa nje ili kuyaeleza, huku kilichotolewa na AI kikiwekwa wazi kwa umma ili yeyote aweze kukichunguza na kukitumia kama msingi wa kazi zaidi.

• Kwa matokeo ya fizikia, kuunda kikundi cha washirika wa nje na kuwapa mamlaka ya kuamua kuhusu uchapishaji wa nyenzo.

Bado hatujui ni ipi kati ya mbinu hizi tatu itakayofaa zaidi, na tunakaribisha maoni kuhusu kinachofanya kazi vizuri na tunachoweza kuboresha.

Ushirikiano na wataalamu wa nje utafuata kanuni nne:

1. Uwazi. Tuko wazi kuhusu kuwepo kwa ushirikiano wetu. Washiriki hawataombwa kutia saini mikataba ya kutofichua taarifa, na watakuwa huru kujadili kazi, kushiriki matokeo ya hatua za kati na kuchapisha mahitimisho yao.

2. Hatuhitaji Kutambuliwa Kitaaluma. Hatutafuti kutambuliwa kitaaluma kwa uvumbuzi unaotolewa na miundo yetu ya ndani. Kumwalika mtafiti asaidie kusimamia ushirikiano pia hakumaanishi kwamba yeye au kikundi chake ndio waliofanya uvumbuzi wa awali.

3. Kutambuliwa. Kikundi hiki kinapaswa kutambuliwa kwa uelewa kinachokuza, maandiko kinayoandika na nyenzo nyingine kinazounda. Pia kitasaidia kuhakikisha kazi hiyo inatambua ipasavyo watafiti, mbinu na mawazo inayotegemea.

4. Uhuru. Ushiriki ni wa hiari na haulipwi. Wanachama wa kikundi hushiriki kwa kujitegemea, na mahitimisho yao ni yao wenyewe. Hawazungumzi kwa niaba ya OpenAI, wala OpenAI haizungumzi kwa niaba yao.

Tutakabidhi nyenzo na kazi zilizozalishwa zinazohusiana na matokeo haya kwa vikundi vya ushirikiano. Kwa ushirikiano wa sayansi ya kompyuta, kikundi kimeamua kuweka wazi kwa umma mara moja uthibitisho wa lugha ya kawaida na uandishi wake rasmi katika Lean, na tunavichapisha moja kwa moja katika uhifadhi wetu wa GitHub. Kwa ushirikiano wa fizikia, kikundi kimeamua kusubiri kabla ya kuchapisha kazi zilizozalishwa na AI, na badala yake kiandike maelezo yake chenyewe.

Kila mbinu ina faida na hasara zake. Kwa upande mmoja, ushirikiano huu unawapa wataalamu nafasi ya kusaidia kufafanua matokeo na kuyaweka katika muktadha wa jamii pana ya wanataaluma. Kwa upande mwingine, kuchagua wasimamizi wa mwanzo huathiri bila shaka nani anashiriki kwanza na husababisha tofauti katika upatikanaji wa taarifa. Tunakaribisha maoni kuhusu jinsi ya kupanua ushiriki na kufanya mchakato huu uwe na manufaa zaidi.

Matokeo ya hisabati yanahusu uchanganuzi wa harmoniki. Mwaka 1991, Sogge alipendekeza dhana ya ulainishaji wa ndani, inayohusu tabia ya mawimbi yanapolengana. Hasa, dhana hiyo inasema kuwa kulengana kwa kiwango cha juu kabisa lazima kudumu kwa muda mfupi tu. Kiwango cha kulengana kwa wakati wa kawaida unaochaguliwa bila mpangilio huwa kidogo sana kuliko kinachoweza kutokea wakati hali iko kwenye ukomo wake. Huu ni mwenendo unaojulikana katika hisabati: kinachoweza kutokea katika hali ya ukomo huwa kikubwa zaidi kuliko kinachoonekana baada ya kukokotoa wastani. Kwa kuwa tukio linalopendekezwa na dhana hii ni la msingi sana, pia lina athari pana katika uchanganuzi wa kihisabati. Kwa mfano, likithibitishwa, dhana ya Kakeya na dhana ya uwekaji mipaka ya Stein pia huthibitika.

Mwaka 2019, Guth, Wang na Zhang⁠(fungua katika dirisha jipya) walithibitisha dhana ya ulainishaji wa ndani katika vipimo viwili vya nafasi. Mwaka 2025, Wang na Zahl⁠(fungua katika dirisha jipya) walithibitisha dhana ya Kakeya katika vipimo vitatu. Miundo yetu ilitoa uthibitisho wa dhana ya ulainishaji wa ndani kwa kila idadi ya vipimo, na hivyo pia kutatua dhana ya Kakeya na dhana ya uwekaji mipaka ya Stein kwa idadi zote za vipimo. Uthibitisho huo mpya unatokana na mlinganyo saidizi mpya wa milinganyo tofauti ya sehemu.

Tulipata matokeo ya AI yetu tarehe 18 Oktoba 2026, na yakaandikwa rasmi katika Lean siku iliyofuata. Kisha tuliwasiliana na mtaalamu kujadili kuunda ushirikiano kuhusu matokeo haya. Kwa kufuata pendekezo la mtaalamu huyo, tuliamua kuchapisha matokeo ya AI hadharani, tukitumia mkakati uleule wa uchapishaji wetu⁠ wa tarehe 6 Oktoba 2026. Tumechapisha maelezo ya matokeo ya AI kwa lugha ya kawaida⁠(fungua katika dirisha jipya) yaliyotolewa na miundo yetu pamoja na uthibitisho katika Lean⁠(fungua katika dirisha jipya) kwenye uhifadhi wetu wa umma wa GitHub.

Ushirikiano wa sayansi ya kompyuta utajikita katika kuelewa na kueleza matokeo yanayohusu Nadharia ya Muda wa Kipeo (ETH), dhana ya muda mrefu kuhusu uchangamano wa ukokotoaji wa kutoshelezeka kwa fomula za Boolean, tatizo lenye uhusiano wa karibu na tatizo la P dhidi ya NP. ETH imeaminiwa sana kuwa ya kweli, na imetumiwa katika mamia ya machapisho kupata matokeo kuhusu ugumu wa ukokotoaji yanayotegemea sharti hilo, katika nyanja mbalimbali zikiwemo nadharia ya grafu, biolojia ya kikokotozi, hifadhidata, jiometri ya kikokotozi na nyinginezo. Kwa kushangaza, mfumo wetu umethibitisha hivi karibuni kwamba ETH si ya kweli, matokeo ambayo baadaye yalihakikiwa katika Lean. Kukanushwa kwa ETH kunafungua tena maswali kuhusu kasi ambayo kazi hizi zinaweza kufanywa, na kunaweza kusaidia kuelekeza utafutaji wa algoriti bora. Kupata algoriti hizo na kubadili maendeleo ya kinadharia kuwa maboresho ya vitendo kutahitaji utafiti mkubwa zaidi.

Kazi hii itahakikiwa na kuongozwa na kikundi kinachoongozwa na Russell Impagliazzo (UC San Diego), Ramamohan Paturi (UC San Diego) na Ryan Williams (MIT). Wote watatu ni wataalamu wa ubunifu wa algoriti na nadharia ya uchangamano.

• Impagliazzo na Paturi, pamoja na Francis Zane, ndio wapendekezaji wa awali wa Dhana ya Wakati wa Kielelezo, na wameandika idadi kadhaa⁠(fungua katika dirisha jipya) ya vitabu vyenye ushawishi mkubwa⁠(fungua katika dirisha jipya) ⁠(fungua katika dirisha jipya)karatasi⁠(fungua katika dirisha jipya) kuhusu mada⁠(fungua katika dirisha jipya) hiyo kwa miaka 30 iliyopita.

• Williams amekataa vikali⁠(fungua katika dirisha jipya) ⁠(fungua katika dirisha jipya)matoleo⁠(fungua katika dirisha jipya) ya ETH, yaliyotumika ETH kwa ugumu⁠(fungua katika dirisha jipya) ⁠(fungua katika dirisha jipya)matokeo⁠(fungua katika dirisha jipya), na algoriti⁠(fungua katika dirisha jipya) zilizounganishwa na mipaka ya chini⁠(fungua katika dirisha jipya).

Tumekubali maombi ya kikundi kwamba data zote ghafi za matokeo ziwekwe wazi kwa umma ili kuwezesha uhakiki huru wa jumuiya, na kwamba OpenAI ijitolee kufadhili kongamano la kuelewa athari za kazi hii katika taaluma nzima. Kikundi kinaialika jumuiya kusaidia kuandaa uchunguzi wa wazi wa dai kuhusu ETH na kujadili maswali mapana yanayoibuliwa na mafanikio makubwa ya AI kuhusu uhakiki, upatikanaji, utambuzi wa michango na mustakabali wa utafiti.

AI yetu iligundua kuwa lugha yake ya asili haikubaliki kwa ETH mnamo Oktoba 16, 2026 na kisha baadaye tukarasimisha matokeo katika Lean mnamo Oktoba 17, 2026, ambayo ilituongoza kukuza ushirikiano ulioelezwa hapa. Kwa lengo hilo, tumetoa maandishi ya matokeo ya lugha asilia ya AI⁠(fungua katika dirisha jipya) yaliyotolewa na miundo yetu na uthibitisho wa Lean⁠(fungua katika dirisha jipya) katika uhifadhi wetu wa umma wa GitHub.

Uchangamano wa ukokotoaji una maswali mengi ambayo hayajajibiwa na dhana ambazo hadi sasa hazijathibitishwa wala kukanushwa licha ya juhudi kubwa za wanasayansi. Tunatumaini kwamba binadamu kwa msaada wa AI wanaweza kuleta uelewa mpya katika taaluma hii na kufafanua uwezo na mipaka ya msingi ya ukokotoaji wenye ufanisi.

Ushirikiano wa fizikia utajikita katika kuelewa na kueleza matokeo yanayotoa uthibitisho madhubuti wa kihisabati wa kuwepo kwa nadharia fulani za uga wa kwantamu zenye miingiliano, zinazojumuisha nyuga za geji na fermioni katika vipimo vinne. Nadharia hizo ni pamoja na Kromodinamiki ya Kwantamu (QCD) na ukamilishaji uliounganishwa wa Modeli Sanifu ya fizikia ya chembe. Kazi yetu inajengwa juu ya mbinu ya Balaban⁠(fungua katika dirisha jipya) katika nadharia jengevu ya uga wa kwantamu. Kama tatizo dogo ndani ya tatizo kuu, kazi hii pia inajumuisha uthibitisho wa kuwepo kwa nadharia tupu ya Yang–Mills, ambayo ni sehemu ya tatizo la Tuzo ya Milenia la Taasisi ya Hisabati ya Clay kuhusu Nadharia ya Kwantamu ya Yang–Mills⁠(fungua katika dirisha jipya).

Modeli Sanifu inaeleza mwingiliano wa chembe za msingi zilizo ndogo kuliko atomi kwa kani tatu kati ya nne za msingi, bila kujumuisha mvutano wa graviti. Uthibitisho wa kuwepo unahusu nadharia rahisi zaidi ya muungano mkuu inayojumuisha nyuga za geji na fermioni za Modeli Sanifu (kwa kuwa Modeli Sanifu yenyewe haiwezi kupanuliwa hadi masafa mafupi kiholela). QCD inaeleza mwingiliano wa chembe kama vile kwarki na gluoni kupitia kani imara. Nadharia tupu ya Yang–Mills inaeleza tu miingiliano ya gluoni zenyewe kwa zenyewe, ambazo ndizo hubeba kani, badala ya maada kama vile kwarki.

David Gross ataongoza kikundi kinachojumuisha Michael Douglas, Arthur Jaffe, Igor Klebanov na Nikita Nekrasov, ambacho kitaongoza kazi hii.

• Kazi ya Gross ya mwaka 1973 kuhusu uhuru wa asimptoti katika nadharia za Yang-Mills ilisaidia kuimarisha QCD kama nadharia ya mwingiliano wenye nguvu na kumwezesha kuwa mmoja wa washindi wa Tuzo ya Nobel ya Fizikia ya 2004⁠(fungua katika dirisha jipya). Uhuru wa asimptoti pia ndio utaratibu mkuu unaowezesha nadharia hizi kuwepo kama miundo inayokidhi masharti madhubuti ya hisabati.

• Jaffe aliunda tatizo la Tuzo ya Milenia kuhusu Nadharia ya Kwanta ya Yang-Mills⁠(fungua katika dirisha jipya) pamoja na Witten. Pia alibuni wazo la matatizo ya Tuzo ya Milenia na akashiriki kuanzisha Taasisi ya Hisabati ya Clay.

• Douglas amesimamia juhudi kuhusu tatizo hili kwa miaka 20 iliyopita, akiripoti hali yake mwaka 2004⁠(fungua katika dirisha jipya) na kisha kutoa taarifa ya kina kuhusu maendeleo yaliyofikiwa⁠(fungua katika dirisha jipya) mwanzoni mwa mwaka huu.

• Klebanov alishiriki kuanzisha matumizi ya uwili wa geji–nyuzi katika kufungiwa kwa chembe, sifa muhimu ya QCD, na sasa anaongoza Ushirikiano wa Simons kuhusu Kufungiwa kwa Chembe na Nyuzi za QCD⁠(fungua katika dirisha jipya),

• Nekrasov amefanya kazi ya kimapinduzi kuhusu mbinu zinazotoa majibu kamili kwa matoleo yaliyopanuliwa ya nadharia ya Yang–Mills, na alishinda Tuzo ya Dannie Heineman ya Fizikia ya Kihisabati mwaka 2023.

Kikundi kinaomba mawasiliano yote na mwanachama yeyote kuhusu juhudi hizi yatumwe kwa anwani hii ya barua pepe: YANGMILLS4D@gmail.com.

Miundo yetu ilitoa uthibitisho wa kuwepo kwa Yang–Mills kwa lugha ya kawaida tarehe 9 Septemba 2026, kisha ikatoa uthibitisho wa QCD tarehe 18 Septemba 2026. Kwa kuzingatia urefu na uchangamani wa kazi hii, tuliahirisha kuichapisha hadi uandishi wake rasmi katika Lean ulipokamilika. Tulikamilisha uandishi rasmi wa uthibitisho wa kuwepo kwa Yang–Mills tarehe 16 Oktoba 2026, jambo lililotufanya kuanzisha ushirikiano ulioelezwa hapa.

Tunatumaini matokeo haya yataashiria mwanzo wa mabadiliko yatakayoifanya nadharia ya uga wa kwanta, mfumo muhimu zaidi katika fizikia ya kinadharia ya kisasa, kuwa taaluma yenye msingi madhubuti wa kihisabati. Tunafurahia kutoa rasilimali za kusaidia maendeleo yanayoongozwa na wanataaluma kuelekea lengo hilo.

Tumejitolea kusaidia kazi pana ya kuelewa matokeo haya na kuyatumia kama msingi wa utafiti zaidi. Ushirikiano huu unakamilisha mchango wetu wa dola milioni 5⁠(fungua katika dirisha jipya) tuliotangaza hivi karibuni kwa mpango mpya wa Wakfu wa Simons. Fedha hizo, zitakazosimamiwa na kutolewa na Wakfu wa Simons, zitagharamia warsha, makongamano na programu maalumu za kuwasaidia watafiti kuelewa na kuendeleza matokeo yaliyotolewa na AI. Tumejitolea kuhakikisha watafiti wanapata fedha za kuchunguza, kueleza na kuendeleza matokeo yaliyo hapo juu kwa kujitegemea.

Tunaendelea kukaribisha maoni kuhusu njia bora ya kutangaza matokeo na kushirikiana na wanasayansi ili kuharakisha uvumbuzi.