Geneva, Elveția — 5 octombrie 2026 — Biroul lui Justin Sun a anunțat astăzi cei mai recenți câștigători ai Premiului Justin Sun: cercetătorul independent Wouter van Doorn, studentul la doctorat în matematică Quanyu Tang și cercetătoarea în matematică Yanyang Li de la Universitatea de Sud-Est din Nanjing. Aceștia au fost recunoscuți pentru contribuțiile la șase probleme Erdős.
Wouter van Doorn este un teoretician independent al numerelor care a început cercetarea în matematică ca student în 2010 și a continuat să colaboreze și să publice după ce a părăsit mediul academic cu o diplomă de master. Quanyu Tang (汤泉宇) este student la doctorat în matematică la Universitatea de Știință și Tehnologie din China, ale cărui cercetări acoperă teoria numerelor, combinatorica și descoperirea matematică asistată de IA.
Problemele Erdős sunt întrebări matematice formulate sau popularizate de matematicianul maghiar Paul Erdős despre numere, modele și alte structuri matematice. Ele sunt adesea simple de enunțat, dar greu de rezolvat, și au ajutat la modelarea cercetării în teoria numerelor și combinatorică, unele rămânând deschise timp de decenii. Catalogul Erdős, compilat și întreținut de Thomas Bloom, matematician și cercetător universitar al Royal Society la Universitatea din Manchester, conține peste 1.200 de probleme.
Van Doorn și Tang au lucrat cu Yanyang Li de la Școala de Matematică a Universității de Sud-Est din Nanjing pentru a rezolva Problema Erdős #650, determinând exact câte numere întregi pot fi întotdeauna asociate cu multipli distincți într-un interval specificat. Van Doorn a produs, de asemenea, dovezi verificabile de computer în Lean, software pentru verificarea raționamentului matematic, pentru #369, privind numerele întregi consecutive cu factori primi restricționați; #457, despre dacă o scurtă serie de numere întregi consecutive poate conține colectiv fiecare prim dintr-un interval dat; și #469, privind dacă reciprocele unei clase speciale de numere exprimabile ca sume ale divizorilor lor se adună la un total finit. Tang a rezolvat separat #1044, stabilind o limită inferioară precisă pentru lungimile de frontieră ale regiunilor definite de polinoame, și a contribuit alături de Li la soluția unei echipe mai largi pentru #1196, mărginind sumele ponderate peste mulțimi de numere întregi în care niciun membru nu îl divide pe altul.
Lucrarea lor la #650 oferă un exemplu concret al modului în care judecata umană și IA se pot completa reciproc. ChatGPT a ajutat la dezvoltarea strategiei de demonstrație, în timp ce Aristotle, un sistem de IA pentru raționament matematic, a reparat o lacună în timpul formalizării în Lean. Cercetătorii au simplificat apoi argumentul și au scris demonstrațiile și expunerea finală.
„Această experiență m-a învățat cum feedback-ul public poate ascuți o întrebare de cercetare și cum descoperirea asistată de IA poate combina judecata matematică, colaborarea și verificarea riguroasă”, a spus Tang.
Acestea sunt primele premii confirmate ale programului, recunoscând atât descoperirea matematică, cât și munca necesară pentru a face demonstrațiile verificabile independent. Informații despre Premiul Justin Sun, catalogul său de probleme și contribuțiile destinatarilor sunt disponibile prin depozitul public GitHub al programului. Premiile vor fi plătite fie în USDT pe TRON (TRC-20), fie în USDC pe Ethereum (ERC-20), în funcție de alegerea destinatarului. Pentru mai multe informații, vă rugăm să vizitați www.hejustinsun.com/prize.
Despre Biroul lui Justin Sun
Biroul lui Justin Sun sprijină inițiativele globale de afaceri, filantropice și publice ale lui Justin Sun în domeniile tehnologiei, blockchain-ului, inteligenței artificiale, cercetării științifice, investițiilor, artei și explorării spațiale.
Justin Sun este Ambasador și fost Reprezentant Permanent al Grenadei pe lângă Organizația Mondială a Comerțului și Fondatorul TRON. TRON este blockchain-ul lider pentru revoluția monedelor stabile, procesând peste 13 trilioane de dolari în volum de la înființare. Pe piețele emergente ale lumii, oamenii se bazează pe USDT pe TRON pentru a accesa sistemul financiar global.
Protejat al fondatorului Alibaba, Jack Ma, Sun a fost recunoscut internațional pentru activitatea sa în industria activelor digitale, inclusiv un profil de copertă Forbes în aprilie 2025 și multiple apariții pe lista Forbes 30 Under 30. În august 2025, a zburat în misiunea NS-34 a Blue Origin, devenind a 712-a persoană din istorie care călătorește în spațiu. Interesele sale mai largi includ tehnologia, investițiile, filantropia, arta, jocurile și explorarea spațială. Biroul lui Justin Sun Contact: info@hejustinsun.com Despre Premiul Justin Sun Premiul Justin Sun este o inițiativă academică fondată de Justin Sun pentru a sprijini progresele în matematică, verificarea formală și descoperirea științifică asistată de IA. Premiul este descentralizat și construit pe principiul că munca matematică ar trebui judecată după puterea, rigoarea și verificabilitatea demonstrației în sine, nu după prestigiul sau reputația celor care o depun. Justin Sun a stabilit premiul în nume propriu ca un angajament pe termen lung de a returna bogăția creată prin matematică și tehnologie înapoi matematicii înseși. Moștenirea sa este menită să fie definită de corpul de lucrări pe care îl recunoaște și de laureații ale căror descoperiri rezistă testului timpului. Premiul conectează provocări matematice clar definite la dovezi verificabile de mașină. Principiile sale directoare sunt deschiderea, beneficiul public și accesul open-source. Vizitați https://www.hejustinsun.com/prize pentru mai multe informații. Contact: thejustinsunprize@hejustinsun.com
Întrebări frecvente
Întrebări frecvente Noua rundă a Premiului Justin Sun pentru Colaborarea Uman-IA la Problemele Erdős
Î1 Ce este Premiul Justin Sun
Este un premiu finanțat de antreprenorul crypto Justin Sun care plătește oameni pentru rezolvarea problemelor de matematică, în special cele legate de faimoasele probleme Erdős
Î2 Ce sunt problemele Erdős
Sunt o colecție mare de întrebări matematice deschise formulate sau popularizate de legendarul matematician maghiar Paul Erdős. Multe sunt simple de enunțat, dar foarte greu de rezolvat
Î3 Ce este nou în această rundă a premiului
Această rundă recompensează în mod specific soluțiile în care un om și o IA au lucrat împreună — de exemplu, o persoană care folosește un model de IA precum ChatGPT sau un asistent de demonstrație pentru a rezolva o problemă
Î4 Trebuie să folosesc IA pentru a câștiga
Pentru această rundă, da. Premiul este destinat colaborării uman-IA, astfel încât o soluție pur umană sau una generată pur de IA ar putea să nu se califice
Î5 Ce contează ca colaborare uman-IA
Orice configurație în care o persoană și un sistem de IA contribuie fiecare în mod semnificativ — să zicem că IA sugerează pași de demonstrație, iar omul îi verifică, corectează și rafinează
Î6 Cine poate intra
În general, oricine — studenți, amatori sau matematicieni profesioniști. Verificați regulile oficiale pentru limite de vârstă, rezidență sau eligibilitate
Î7 Cât este premiul
Sumele premiilor au variat în funcție de rundă și dificultatea problemei. Verificați anunțul oficial pentru cifrele exacte
Î8 Care probleme sunt eligibile
De obicei, probleme din bazele de date cu probleme Erdős sau o listă specifică publicată împreună cu premiul. Nu orice problemă deschisă se califică
Î9 Cum depun o soluție
De obicei, printr-un formular oficial de depunere sau e-mail listat în anunțul premiului, cu demonstrația dvs. și o descriere a modului în care a fost folosită IA
Î10 Trebuie ca IA să fie un instrument specific
Nu, majoritatea rundelor permit orice instrument de IA — modele lingvistice mari, demonstrare de teoreme sau sisteme personalizate — atâta timp cât documentați ce ați folosit
Î11 Trebuie să explic rolul IA
Da. Organizatorii doresc de obicei o relatare clară a ceea ce a făcut IA versus ceea ce ați făcut dvs., astfel încât colaborarea să fie transparentă
Î12 Ce se întâmplă dacă răspunsul IA este greșit
Asta este responsabilitatea dvs. Omul este responsabil pentru verificarea fiecărui pas. Un