L'Ufficio di Justin Sun ha annunciato oggi i nuovi vincitori del Premio Justin Sun: il ricercatore indipendente Wouter van Doorn, lo studente di dottorato in matematica Quanyu Tang e il ricercatore di matematica Yanyang Li dell'Università del Sud-Est di Nanchino, premiati per i loro contributi a sei problemi di Erdős.
Wouter van Doorn è un teorico dei numeri indipendente che ha iniziato a fare ricerca in matematica come studente universitario nel 2010 e ha continuato a collaborare e pubblicare dopo aver lasciato il mondo accademico al termine del master. Quanyu Tang (汤泉宇) è uno studente di dottorato in matematica presso l'Università di Scienza e Tecnologia della Cina, la cui ricerca spazia dalla teoria dei numeri alla combinatoria e alla scoperta matematica assistita dall'intelligenza artificiale.
I problemi di Erdős sono quesiti matematici posti o resi popolari dal matematico ungherese Paul Erdős riguardanti numeri, schemi e altre strutture matematiche. Spesso semplici da enunciare ma difficili da risolvere, hanno contribuito a plasmare la ricerca nella teoria dei numeri e nella combinatoria, e alcuni sono rimasti irrisolti per decenni. Il catalogo di Erdős, compilato e curato da Thomas Bloom, matematico e ricercatore della Royal Society presso l'Università di Manchester, contiene più di 1200 problemi.
Van Doorn e Tang hanno collaborato con Yanyang Li, della Facoltà di Matematica dell'Università del Sud-Est di Nanchino, per risolvere il Problema n. 650 di Erdős, che consiste nel determinare esattamente quanti numeri interi possono sempre essere abbinati a multipli distinti all'interno di un intervallo specificato. Van Doorn ha anche prodotto dimostrazioni verificabili al computer in Lean, un software per la verifica del ragionamento matematico, per il Problema n. 369, riguardante numeri interi consecutivi con fattori primi ristretti; il Problema n. 457, relativo alla possibilità che una breve sequenza di numeri interi consecutivi possa contenere collettivamente tutti i numeri primi in un dato intervallo; e il Problema n. 469, riguardante la possibilità che i reciproci di una particolare classe di numeri esprimibili come somme dei loro divisori diano un totale finito.
Tang ha risolto separatamente il problema n. 1044, stabilendo un limite inferiore preciso per le lunghezze dei confini delle regioni definite da polinomi, e ha contribuito insieme a Li alla soluzione del problema n. 1196, elaborata da un team più ampio, che definisce i limiti delle somme ponderate su insiemi di numeri interi in cui nessun elemento divide un altro.
Il loro lavoro sul problema n. 650 offre un esempio concreto di come il giudizio umano e l'intelligenza artificiale possano completarsi a vicenda. ChatGPT ha contribuito a sviluppare la strategia di dimostrazione, mentre Aristotle, un sistema di intelligenza artificiale per il ragionamento matematico, ha colmato una lacuna durante la formalizzazione Lean. I ricercatori hanno poi semplificato l'argomentazione e redatto le dimostrazioni finali e l'esposizione.
"Questa esperienza mi ha insegnato come il feedback del pubblico possa affinare una domanda di ricerca e come la scoperta assistita dall'intelligenza artificiale possa combinare giudizio matematico, collaborazione e verifica rigorosa", ha affermato Tang.
Questi sono i primi premi confermati del programma, che riconoscono sia la scoperta matematica sia il lavoro necessario per rendere le dimostrazioni verificabili in modo indipendente. Informazioni sul Premio Justin Sun, il suo catalogo di problemi e i contributi dei vincitori sono disponibili tramite il repository pubblico del programma su GitHub.
I premi saranno erogati in USDT su TRON (TRC-20) o in USDC su Ethereum (ERC-20), a seconda della scelta del vincitore. Per ulteriori informazioni, visitare il sito www.hejustinsun.com/prize.
Informazioni sull'ufficio di Justin Sun
L'ufficio di Justin Sun supporta le iniziative globali di Justin Sun in ambito commerciale, filantropico e pubblico, che spaziano dalla tecnologia alla blockchain, dall'intelligenza artificiale alla ricerca scientifica, dagli investimenti all'arte e all'esplorazione spaziale.
Justin Sun è l'Ambasciatore ed ex Rappresentante Permanente di Grenada presso l'Organizzazione Mondiale del Commercio e il fondatore di TRON. TRON è la blockchain leader per la rivoluzione delle stablecoin, con un volume di transazioni superiore a 13 trilioni di dollari dalla sua nascita. Nei mercati emergenti di tutto il mondo, le persone si affidano a USDT su TRON per accedere al sistema finanziario globale.
Allievo del fondatore di Alibaba Jack Ma, Sun ha ottenuto riconoscimenti internazionali per il suo lavoro nel settore degli asset digitali, tra cui una copertina di Forbes nell'aprile 2025 e diverse apparizioni nella lista Forbes 30 Under 30. Nell'agosto 2025, ha volato a bordo della missione NS-34 di Blue Origin, diventando la 712esima persona nella storia a viaggiare nello spazio. I suoi interessi spaziano dalla tecnologia agli investimenti, dalla filantropia all'arte, dai videogiochi all'esplorazione spaziale.
Informazioni sul premio Justin Sun
Il Premio Justin Sun è un'iniziativa accademica istituita da Justin Sun per sostenere i progressi in matematica, nella verifica formale e nella scoperta scientifica assistita dall'intelligenza artificiale. Il premio è decentralizzato e si basa sul principio che il lavoro matematico debba essere giudicato in base alla solidità, al rigore e alla verificabilità della dimostrazione stessa, non al prestigio o alla reputazione di chi la presenta.
Justin Sun ha istituito il premio a suo nome come impegno a lungo termine per restituire alla matematica stessa la ricchezza creata grazie alla matematica e alla tecnologia. La sua eredità è destinata a essere definita dall'insieme dei lavori che premia e dai vincitori le cui scoperte resistono alla prova del tempo. Il premio collega sfide matematiche chiaramente definite a dimostrazioni verificabili automaticamente. I suoi principi guida sono apertura, beneficio pubblico e accesso open source.
Visita https://www.hejustinsun.com/prize per maggiori informazioni.
L'articolo " Il nuovo round del Justin Sun Prize premia la collaborazione uomo-IA sui problemi di Erdős" è apparso per la prima volta su BeInCrypto.