Noua ediție a Premiului Justin Sun celebrează colaborarea dintre oameni și IA în rezolvarea problemelor Erdős

Wouter van Doorn este un teoretician independent al numerelor care a început să cerceteze matematica încă din timpul studiilor de licență, în 2010, și a continuat să colaboreze și să publice lucrări după ce a părăsit mediul academic, la finalizarea studiilor de masterat. Quanyu Tang (汤泉宇) este doctorand în matematică la Universitatea de Știință și Tehnologie din China, a cărui cercetare acoperă teoria numerelor, combinatorica și descoperirile matematice asistate de inteligența artificială.

Problemele Erdős sunt întrebări matematice formulate sau popularizate de matematicianul maghiar Paul Erdős cu privire la numere, modele și alte structuri matematice. Adesea simple de formulat, dar dificile de rezolvat, acestea au contribuit la conturarea cercetării în teoria numerelor și combinatorică, unele dintre ele rămânând nerezolvate 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 1200 de probleme.

Van Doorn și Tang au colaborat cu Yanyang Li, de la Facultatea de Matematică a Universității de Sud-Est din Nanjing, pentru a rezolva Problema Erdős nr. 650, determinând cu exactitate câte numere întregi pot fi întotdeauna asociate cu multipli distincți într-un interval specificat. Van Doorn a elaborat, de asemenea, demonstrații verificabile pe calculator în Lean, un software destinat verificării raționamentului matematic, pentru problema nr. 369, referitoare la numere întregi consecutive cu factori primi restrânși; problema nr. 457, referitoare la posibilitatea ca o serie scurtă de numere întregi consecutive să conțină în ansamblu fiecare număr prim dintr-un interval dat; și problema nr. 469, referitoare la faptul dacă reciprocele unei clase speciale de numere, exprimabile ca sume ale divizorilor lor, au o sumă totală finită.

Tang a rezolvat separat problema nr. 1044, stabilind o limită inferioară precisă pentru lungimile limită ale regiunilor definite de polinoame, și a contribuit, alături de Li, la soluția oferită de o echipă mai largă pentru problema nr. 1196, care limitează sumele ponderate peste mulțimi de numere întregi în care niciun element nu îl împarte pe altul.

Munca lor la problema nr. 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 remediat o lacună apărută în timpul formalizării Lean. Cercetătorii au simplificat apoi argumentul și au redactat demonstrațiile finale și expunerea.

„Această experiență m-a învățat cum feedback-ul public poate clarifica o problemă 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, care recunosc atât descoperirea matematică, cât și efortul necesar pentru a face demonstrațiile verificabile în mod independent. Informații despre Premiul Justin Sun, catalogul său de probleme și contribuțiile câștigătorilor sunt disponibile prin intermediul depozitului 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 câștigătorului. 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 ale lui Justin Sun în domeniul afacerilor, al filantropiei și al interesului public, acoperind domenii precum tehnologia, blockchain-ul, inteligența artificială, cercetarea științifică, investițiile, arta și explorarea spațială.

Justin Sun este ambasadorul și fostul reprezentant permanent al Grenadei la Organizația Mondială a Comerțului, precum și fondatorul TRON. TRON este blockchain-ul lider al revoluției monedelor stabile, procesând un volum de peste 13 trilioane de dolari de la înființare. Pe piețele emergente din întreaga lume, oamenii se bazează pe USDT pe TRON pentru a avea acces la sistemul financiar global.

Protegat al fondatorului Alibaba, Jack Ma, Sun a fost recunoscut la nivel internațional pentru activitatea sa în industria activelor digitale, inclusiv printr-un profil pe coperta revistei Forbes în aprilie 2025 și prin multiple apariții pe lista „Forbes 30 Under 30”. În august 2025, a zburat la bordul misiunii NS-34 a Blue Origin, devenind a 712-a persoană din istorie care a călătorit în spațiu. Interesele sale mai largi acoperă tehnologia, investițiile, filantropia, arta, jocurile și explorarea spațială.

Biroul de contact al lui Justin Sun:

info@hejustinsun.com

Despre Premiul Justin Sun

Premiul Justin Sun este o inițiativă academică înființată de Justin Sun pentru a sprijini progresele în matematică, verificarea formală și descoperirile științifice asistate de IA. Premiul este descentralizat și se bazează pe principiul că lucrările matematice ar trebui evaluate în funcție de soliditatea, rigoarea și verificabilitatea demonstrației în sine, nu de prestigiul sau reputația celor care le prezintă.

Justin Sun a înființat premiul în numele său ca un angajament pe termen lung de a redirecționa bogăția creată prin matematică și tehnologie înapoi către matematica însăși. Moștenirea sa este menită să fie definită de ansamblul lucrărilor pe care le recunoaște și de laureații ale căror descoperiri rezistă testului timpului. Premiul leagă provocări matematice clar definite de dovezi verificabile automat. Principiile sale directoare sunt transparența, beneficiul public și accesul open-source.

Vizitați https://www.hejustinsun.com/prize pentru mai multe informații.

Contact:

thejustinsunprize@hejustinsun.com

_________________________________________________________________________

Bitcoin.com nu își asumă nicio responsabilitate sau răspundere și nu va fi răspunzător, direct sau indirect, pentru orice pierdere, prejudiciu, pretenție, cost sau cheltuială de orice fel, fie ea reală, presupusă sau indirectă, care decurge din sau în legătură cu utilizarea sau bazarea pe orice conținut, bunuri sau servicii menționate în acest articol. Orice încredere acordată acestor informații este strict pe riscul cititorului.