Geneva, Uswisi — Oktoba 5, 2026 — Ofisi ya Justin Sun leo ilitangaza washindi wa hivi karibuni wa Tuzo ya Justin Sun: mtafiti huru Wouter van Doorn, mwanafunzi wa shahada ya uzamivu wa hisabati Quanyu Tang, na mtafiti wa hisabati Yanyang Li wa Chuo Kikuu cha Kusini-Mashariki huko Nanjing. Walitambuliwa kwa michango kwa matatizo sita ya Erdős.
Wouter van Doorn ni mtaalamu huru wa nadharia ya namba ambaye alianza kufanya utafiti wa hisabati kama mwanafunzi wa shahada ya kwanza mwaka 2010 na aliendelea kushirikiana na kuchapisha baada ya kuacha taaluma ya elimu akiwa na shahada ya uzamili. Quanyu Tang (汤泉宇) ni mwanafunzi wa shahada ya uzamivu wa hisabati katika Chuo Kikuu cha Sayansi na Teknolojia cha China ambaye utafiti wake unahusu nadharia ya namba, kombinatoriki, na ugunduzi wa hisabati unaosaidiwa na AI.
Matatizo ya Erdős ni maswali ya hisabati yaliyoulizwa au kuenezwa na mwanahisabati wa Hungaria Paul Erdős kuhusu namba, mifumo, na miundo mingine ya hisabati. Mara nyingi ni rahisi kuyaeleza lakini magumu kuyatatua, na yamesaidia kuunda utafiti katika nadharia ya namba na kombinatoriki, huku baadhi yakibaki wazi kwa miongo. Katalogi ya Erdős, iliyokusanywa na kudumishwa na Thomas Bloom, mwanahisabati na Mtafiti Mwenza wa Chuo Kikuu cha Royal Society katika Chuo Kikuu cha Manchester, ina zaidi ya matatizo 1,200.
Van Doorn na Tang walifanya kazi na Yanyang Li kutoka Shule ya Hisabati ya Chuo Kikuu cha Kusini-Mashariki huko Nanjing kutatua Tatizo la Erdős #650, kuamua kwa usahihi ni namba ngapi kamili zinaweza kila wakati kuoanishwa na vizidishi tofauti ndani ya kipindi maalum. Van Doorn pia alitoa uthibitisho unaoweza kukaguliwa na kompyuta katika Lean, programu ya kuthibitisha hoja za hisabati, kwa #369, kuhusu namba kamili mfululizo zenye vipengele vikuu vilivyowekewa mipaka; #457, kuhusu kama mfululizo mfupi wa namba kamili mfululizo unaweza kwa pamoja kuwa na kila namba kuu katika masafa fulani; na #469, kuhusu kama visehemu vya aina maalum ya namba zinazoweza kuelezwa kama jumla ya vigawanyiko vyake vinaongeza hadi jumla yenye kikomo. Tang alitatua kando #1044, akianzisha kikomo cha chini cha papo hapo cha urefu wa mipaka ya maeneo yaliyofafanuliwa na polinomia, na alichangia pamoja na Li katika suluhisho la timu kubwa la #1196, kuweka mipaka ya jumla zenye uzito juu ya seti za namba ambazo hakuna mwanachama anayegawanya mwingine.
Kazi yao kwenye #650 inatoa mfano halisi wa jinsi hukumu ya binadamu na AI zinaweza kukamilishana. ChatGPT ilisaidia kuunda mkakati wa uthibitisho, wakati Aristotle, mfumo wa AI wa kufikiri kihisabati, ulirekebisha pengo wakati wa urasimishaji wa Lean. Watafiti kisha walirahisisha hoja na kuandika uthibitisho na maelezo ya mwisho.
"Uzoefu huu ulinifundisha jinsi maoni ya umma yanaweza kunoa swali la utafiti, na jinsi ugunduzi unaosaidiwa na AI unaweza kuchanganya hukumu ya hisabati, ushirikiano na uthibitishaji mkali," Tang alisema.
Hizi ni tuzo za kwanza zilizothibitishwa za programu, zikitambua ugunduzi wa hisabati na kazi inayohitajika kufanya uthibitisho ukaguliwe kwa kujitegemea. Taarifa kuhusu Tuzo ya Justin Sun, katalogi yake ya matatizo, na michango ya wapokeaji inapatikana kupitia hazina ya umma ya GitHub ya programu. Tuzo zitalipwa kwa USDT kwenye TRON (TRC-20) au USDC kwenye Ethereum (ERC-20), kulingana na chaguo la mpokeaji. Kwa maelezo zaidi, tafadhali tembelea www.hejustinsun.com/prize.
Kuhusu Ofisi ya Justin Sun
Ofisi ya Justin Sun inasaidia biashara ya kimataifa ya Justin Sun, filantropia, na mipango ya umma katika teknolojia, blockchain, akili bandia, utafiti wa kisayansi, uwekezaji, sanaa, na uchunguzi wa anga.
Justin Sun ni Balozi na aliyekuwa Mwakilishi wa Kudumu wa Grenada katika Shirika la Biashara Duniani na Mwanzilishi wa TRON. TRON ni blockchain inayoongoza kwa mapinduzi ya sarafu thabiti, ikichakata zaidi ya $13 trilioni kwa kiasi tangu kuanzishwa kwake. Katika masoko yanayochipukia duniani, watu wanategemea USDT kwenye TRON kufikia mfumo wa kifedha wa kimataifa.
Mwanafunzi wa mwanzilishi wa Alibaba Jack Ma, Sun ametambuliwa kimataifa kwa kazi yake katika sekta ya mali ya kidijitali, ikiwa ni pamoja na wasifu wa jalada la Forbes mwezi Aprili 2025 na kuonekana mara nyingi kwenye orodha ya Forbes 30 Chini ya 30. Mwezi Agosti 2025, alisafiri kwa misheni ya NS-34 ya Blue Origin, akiwa mtu wa 712 katika historia kusafiri angani. Maslahi yake mapana yanajumuisha teknolojia, uwekezaji, filantropia, sanaa, michezo ya kubahatisha, na uchunguzi wa anga. Ofisi ya Justin Sun Mawasiliano: info@hejustinsun.com Kuhusu Tuzo ya Justin Sun Tuzo ya Justin Sun ni mpango wa kitaaluma ulioanzishwa na Justin Sun kusaidia maendeleo katika hisabati, uthibitishaji rasmi, na ugunduzi wa kisayansi unaosaidiwa na AI. Tuzo hiyo imegatuliwa na imejengwa juu ya kanuni kwamba kazi ya hisabati inapaswa kuhukumiwa kwa nguvu, ukali, na uwezo wa kuthibitika wa uthibitisho wenyewe, sio kwa heshima au sifa ya wale wanaowasilisha. Justin Sun alianzisha tuzo hiyo kwa jina lake mwenyewe kama ahadi ya muda mrefu ya kurudisha utajiri ulioundwa kupitia hisabati na teknolojia kurudi kwa hisabati yenyewe. Urithi wake unakusudiwa kufafanuliwa na mkusanyiko wa kazi inayotambua na washindi ambao ugunduzi wao unastahimili mtihani wa wakati. Tuzo hiyo inaunganisha changamoto za hisabati zilizofafanuliwa wazi na uthibitisho unaoweza kuthibitishwa na mashine. Kanuni zake zinazoongoza ni uwazi, faida ya umma, na ufikiaji wa chanzo huria. Tembelea https://www.hejustinsun.com/prize kwa maelezo zaidi. Mawasiliano: thejustinsunprize@hejustinsun.com
Maswali Yanayoulizwa Mara kwa Mara
Maswali Yanayoulizwa Mara kwa Mara Mzunguko Mpya wa Tuzo ya Justin Sun kwa Ushirikiano wa BinadamuAI kwenye Matatizo ya Erds
Q1 Tuzo ya Justin Sun ni nini
Ni tuzo inayofadhiliwa na mjasiriamali wa crypto Justin Sun ambayo inalipa watu kwa kutatua matatizo ya hisabati hasa yale yanayohusiana na matatizo maarufu ya Erds
Q2 Matatizo ya Erds ni nini
Ni mkusanyiko mkubwa wa maswali ya hisabati yaliyo wazi yaliyoulizwa au kuenezwa na mwanahisabati maarufu wa Hungaria Paul Erds Mengi ni rahisi kuyaeleza lakini magumu sana kuyatatua
Q3 Ni nini kipya kuhusu mzunguko huu wa tuzo
Mzunguko huu unalipa hasa suluhisho ambapo binadamu na AI walifanya kazi pamoja kwa mfano mtu akitumia modeli ya AI kama ChatGPT au msaidizi wa uthibitisho kutatua tatizo
Q4 Je ni lazima nitumie AI kushinda
Kwa mzunguko huu ndiyo Tuzo inalenga ushirikiano wa binadamuAI hivyo suluhisho la binadamu pekee au linalozalishwa na AI pekee linaweza lisistahili
Q5 Ni nini kinachojulikana kama ushirikiano wa binadamuAI
Mpangilio wowote ambapo mtu na mfumo wa AI kila mmoja unachangia kwa maana kwa mfano AI inapendekeza hatua za uthibitisho na binadamu anathibitisha kurekebisha na kuboresha
Q6 Nani anaweza kuingia
Kwa ujumla mtu yeyote wanafunzi wapenda burudani au wanahisabati wa kitaalamu Angalia sheria rasmi kwa mipaka ya umri ukaaji au ustahiki
Q7 Tuzo ni kiasi gani
Kiasi cha tuzo kimetofautiana kwa mzunguko na ugumu wa tatizo Angalia tangazo rasmi kwa takwimu kamili
Q8 Ni matatizo gani yanastahiki
Kwa kawaida matatizo kutoka hifadhidata za matatizo ya Erds au orodha maalum iliyochapishwa na tuzo Sio kila tatizo lililo wazi linastahiki
Q9 Ninawasilishaje suluhisho
Kwa kawaida kupitia fomu rasmi ya uwasilishaji au barua pepe iliyoorodheshwa katika tangazo la tuzo na uthibitisho wako na maelezo ya jinsi AI ilitumika
Q10 Je AI inapaswa kuwa chombo maalum
Hapana mizunguko mingi inaruhusu chombo chochote cha AI modeli kubwa za lugha vithibitisho vya nadharia au mifumo maalum ilimradi uandike ulichotumia
Q11 Je ninahitaji kueleza jukumu la AI
Ndiyo Waandaaji kwa kawaida wanataka maelezo wazi ya kile AI ilifanya dhidi ya kile ulichofanya ili ushirikiano uwe wazi
Q12 Je ikiwa jibu la AI si sahihi
Hilo ni juu yako Binadamu anawajibika kukagua kila hatua Un