Geneva, Switzerland — 5 Oktoba, 2026 — Ofishin Justin Sun a yau ya sanar da sabbin wadanda suka ci Kyautar Justin Sun: mai bincike mai zaman kansa Wouter van Doorn, dalibin digiri na uku a fannin lissafi Quanyu Tang, da mai binciken lissafi Yanyang Li na Jami'ar Kudu-maso-Gabas da ke Nanjing. An karbe su saboda gudummawar da suka bayar ga matsalolin Erdős guda shida.
Wouter van Doorn masani ne mai zaman kansa kan ka'idar lambobi wanda ya fara binciken lissafi a matsayin dalibin digiri na farko a shekarar 2010 kuma ya ci gaba da hadin kai da wallafa bayan ya bar fannin ilimi da digiri na biyu. Quanyu Tang (汤泉宇) dalibin digiri na uku ne a fannin lissafi a Jami'ar Kimiyya da Fasaha ta kasar Sin wanda bincikensa ya shafi ka'idar lambobi, hada-hadar lissafi, da gano lissafi da AI ke taimakawa.
Matsalolin Erdős tambayoyin lissafi ne da masanin lissafin Hungary Paul Erdős ya gabatar ko ya shahara da su game da lambobi, tsari, da sauran tsarin lissafi. Sau da yawa suna da sauki a bayyana amma da wuya a warware, kuma sun taimaka wajen tsara bincike a ka'idar lambobi da hada-hadar lissafi, wasu kuma sun kasance a bude shekaru da dama. Kundin Erdős, wanda Thomas Bloom, masanin lissafi kuma Fellow na Jami'ar Royal Society a Jami'ar Manchester, ya tattara kuma yake kula da shi, ya kunshi matsaloli sama da 1,200.
Van Doorn da Tang sun yi aiki tare da Yanyang Li daga Makarantar Lissafi ta Jami'ar Kudu-maso-Gabas da ke Nanjing don warware Matsalar Erdős #650, inda suka tantance daidai adadin lambobi da za a iya hadawa da ma'auni daban-daban a cikin wani tazara da aka kayyade. Van Doorn kuma ya samar da hujjoji da kwamfuta za ta iya tantancewa a cikin Lean, manhajar tabbatar da tunanin lissafi, don #369, game da lambobi masu jere da ke da takaitattun abubuwan da suke raba su; #457, game da ko gajeren jerin lambobi masu jere zai iya hada duk wani babban lambobi a cikin wani kewayon da aka bayar; da #469, game da ko jujjuyawar wani rukuni na musamman na lambobi da za a iya bayyana su a matsayin jimillar masu raba su suna hadawa zuwa jimillar iyaka. Tang daban ya warware #1044, inda ya kafa takaitaccen iyakar kasa na tsawon iyaka na yankuna da polynomials suka ayyana, kuma ya ba da gudummawa tare da Li ga warwarewar wata babbar kungiya ta #1196, inda suka takaita jimillar ma'auni a kan jerin lambobi wadanda babu wani memba da ke raba wani.
Aikinsu kan #650 yana ba da misali na zahiri na yadda hukuncin dan adam da AI za su iya cika junansu. ChatGPT ya taimaka wajen samar da dabarun hujja, yayin da Aristotle, tsarin AI na tunanin lissafi, ya gyara wani gibi yayin da ake yin Lean. Masu binciken sai suka saukaka hujar kuma suka rubuta hujjojin karshe da bayani.
"Wannan kwarewa ta koya mini yadda martanin jama'a zai iya kaifafa tambayar bincike, da kuma yadda gano da AI ke taimakawa zai iya hada hukuncin lissafi, hadin kai da tabbatarwa mai tsauri," in ji Tang.
Wadannan su ne kyaututtukan farko da aka tabbatar a shirin, wadanda ke karbe duka gano lissafi da aikin da ake bukata don sanya hujjoji a iya tantance su da kansu. Bayani game da Kyautar Justin Sun, kundin matsalolinta, da gudummawar masu karba yana samuwa ta hanyar GitHub repository na jama'a na shirin. Za a biya kyaututtukan a ko dai USDT a kan TRON (TRC-20) ko USDC a kan Ethereum (ERC-20), bisa zabin mai karba. Don karin bayani, don Allah ziyarci www.hejustinsun.com/prize.
Game da Ofishin Justin Sun
Ofishin Justin Sun yana tallafawa kasuwancin Justin Sun na duniya, ayyukan agaji, da shirye-shiryen jama'a a fannin fasaha, blockchain, basirar wucin gadi, binciken kimiyya, zuba jari, fasaha, da binciken sararin samaniya.
Justin Sun shi ne Ambasada kuma tsohon Wakili na Dindindin na Grenada a Kungiyar Ciniki ta Duniya kuma wanda ya kafa TRON. TRON ita ce babbar blockchain don juyin juya halin stablecoin, tana sarrafa sama da dala tiriliyan 13 a cikin ma'amala tun kafuwarta. A kasuwannin da suka fito na duniya, mutane suna dogaro da USDT a kan TRON don samun damar shiga tsarin kudi na duniya.
Wanda Jack Ma, wanda ya kafa Alibaba, ya rike a matsayin dalibi, an karbe Sun a duniya saboda aikinsa a masana'antar kadarorin dijital, ciki har da hoton bangon Forbes a watan Afrilu 2025 da bayyanuwa da yawa a jerin Forbes 30 Under 30. A watan Agusta 2025, ya tashi a kan aikin NS-34 na Blue Origin, inda ya zama mutum na 712 a tarihi da ya yi tafiya zuwa sararin samaniya. Abubuwan da suka fi sha'awarsa sun hada da fasaha, zuba jari, agaji, fasaha, wasanni, da binciken sararin samaniya. Ofishin Justin Sun Contact: info@hejustinsun.com Game da Kyautar Justin Sun Kyautar Justin Sun wani shiri ne na ilimi da Justin Sun ya kafa don tallafawa ci gaba a fannin lissafi, tabbatarwa na yau da kullum, da gano kimiyya da AI ke taimakawa. Kyautar ba ta da tsakiya kuma an gina ta a kan ka'idar cewa aikin lissafi ya kamata a yi hukunci da karfi, tsauri, da tabbatarwa na hujjar kanta, ba da martaba ko sunan wadanda suka gabatar ba. Justin Sun ya kafa kyautar da sunansa a matsayin alkawari na dogon lokaci na mayar da dukiyar da aka samu ta hanyar lissafi da fasaha zuwa lissafi kanta. Ana nufin gadonta ya bayyana ta hanyar ayyukan da take karbe da kuma wadanda suka ci kyautar da bincikensu ya tsaya tsayin daka na lokaci. Kyautar tana hada kalubalen lissafi da aka bayyana sarai da hujja da inji za ta iya tabbatarwa. Ka'idojinta su ne budewa, amfani ga jama'a, da samun damar budewa. Ziyarci https://www.hejustinsun.com/prize don karin bayani. Contact: thejustinsunprize@hejustinsun.com
Tambayoyin da ake yawan yi
FAQs Sabon Zagayen Kyautar Justin Sun don Hadin Kan Dan Adam da AI kan Matsalolin Erdős
Q1 Menene Kyautar Justin Sun
Kyauta ce da dan kasuwan crypto Justin Sun ke bayarwa wanda ke biyan mutane don warware matsalolin lissafi musamman wadanda suka shafi shahararrun matsalolin Erdős
Q2 Menene matsalolin Erdős
Babban tarin tambayoyin lissafi ne da aka bude wanda fitaccen masanin lissafin Hungary Paul Erdős ya gabatar ko ya shahara da su Da yawa suna da sauki a bayyana amma da wuya a warware
Q3 Menene sabo game da wannan zagayen kyautar
Wannan zagayen musamman yana ba da lada ga warwarewa inda dan adam da AI suka yi aiki taremisali mutum ya yi amfani da samfurin AI kamar ChatGPT ko mataimakin hujja don karya matsala
Q4 Dole ne in yi amfani da AI don cin nasara
A wannan zagayen eh Kyautar an yi niyya ne ga hadin kan dan adam da AI don haka warwarewa ta dan adam kawai ko wadda AI kawai ya samar ba za ta cancanta ba
Q5 Menene ake lissafta a matsayin hadin kan dan adam da AI
Duk wani tsari inda mutum da tsarin AI kowanne ya ba da gudummawa mai ma'anace ce misali AI ya ba da shawarar matakan hujja kuma dan adam ya tabbatar ya gyara kuma ya inganta su
Q6 Wanene zai iya shiga
Gaba daya kowa dalibai masu sha'awa ko kwararrun masanan lissafi Duba dokokin hukuma don iyaka na shekaru zama ko cancanta
Q7 Nawa ne kyautar
Adadin kyaututtukan sun bambanta bisa zagaye da wahalar matsala Duba sanarwar hukuma don ainihin adadin
Q8 Wadanne matsaloli ne suka cancanta
Yawanci matsaloli daga rumbun adana matsalolin Erdős ko takamaiman jerin da aka wallafa tare da kyautar Ba kowace matsala da aka bude ce ta cancanta ba
Q9 Yaya zan gabatar da warwarewa
Yawanci ta hanyar fom na gabatarwa na hukuma ko imel da aka jera a cikin sanarwar kyautar tare da hujjarka da bayanin yadda aka yi amfani da AI
Q10 Shin AI dole ne ya zama takamaiman kayan aiki
A'a yawancin zagaye suna barin duk wani kayan aikin AI manyan samfuran harshe masu tabbatar da ka'ida ko tsarin da aka kera muddin kun rubuta abin da kuka yi amfani da shi
Q11 Shin ina bukatar in bayyana rawar da AI ya taka
Eh Masu shirya yawanci suna son cikakken bayani kan abin da AI ya yi da abin da kuka yi don hadin kan ya kasance a fili
Q12 Idan amsar AI ba daidai ba fa
Wannan nauyinka ne Dan adam ne ke da alhakin duba kowane mataki Un