Ginevra, Svizzera — 5 ottobre 2026 — L'Ufficio di Justin Sun ha annunciato oggi i più recenti vincitori del Premio Justin Sun: il ricercatore indipendente Wouter van Doorn, lo studente di dottorato in matematica Quanyu Tang e la ricercatrice in matematica Yanyang Li della Southeast University di Nanchino. Sono stati riconosciuti per i 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 con un master. Quanyu Tang (汤泉宇) è uno studente di dottorato in matematica presso l'Università di Scienza e Tecnologia della Cina, la cui ricerca copre teoria dei numeri, combinatoria e scoperta matematica assistita dall'IA.
I problemi di Erdős sono questioni matematiche poste o rese popolari dal matematico ungherese Paul Erdős riguardo a numeri, schemi e altre strutture matematiche. Spesso sono semplici da enunciare ma difficili da risolvere, e hanno contribuito a plasmare la ricerca in teoria dei numeri e combinatoria, con alcuni rimasti aperti per decenni. Il catalogo di Erdős, compilato e mantenuto da Thomas Bloom, matematico e Royal Society University Research Fellow presso l'Università di Manchester, contiene più di 1.200 problemi.
Van Doorn e Tang hanno lavorato con Yanyang Li della School of Mathematics della Southeast University di Nanchino per risolvere il Problema di Erdős #650, determinando esattamente quanti 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 verificare il ragionamento matematico, per il #369, riguardante interi consecutivi con fattori primi limitati; il #457, su se una breve sequenza di interi consecutivi possa collettivamente contenere ogni primo in un dato intervallo; e il #469, su se i reciproci di una classe speciale di numeri esprimibili come somme dei loro divisori sommino a un totale finito. Tang ha separatamente risolto il #1044, stabilendo un limite inferiore netto per le lunghezze dei bordi di regioni definite da polinomi, e ha contribuito insieme a Li alla soluzione di un team più ampio del #1196, limitando somme ponderate su insiemi di interi in cui nessun membro divide un altro.
Il loro lavoro sul #650 offre un esempio concreto di come il giudizio umano e l'IA possano completarsi a vicenda. ChatGPT ha aiutato a sviluppare la strategia della dimostrazione, mentre Aristotle, un sistema di IA per il ragionamento matematico, ha riparato una lacuna durante la formalizzazione in Lean. I ricercatori hanno poi semplificato l'argomentazione e scritto le dimostrazioni finali e l'esposizione.
"Questa esperienza mi ha insegnato come il feedback pubblico possa affinare una domanda di ricerca, e come la scoperta assistita dall'IA possa combinare giudizio matematico, collaborazione e verifica rigorosa", ha detto 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, sul suo catalogo di problemi e sui contributi dei destinatari sono disponibili attraverso il repository GitHub pubblico del programma. I premi saranno pagati in USDT su TRON (TRC-20) o USDC su Ethereum (ERC-20), in base alla scelta del destinatario. Per maggiori informazioni, visitare www.hejustinsun.com/prize.
Informazioni sull'Ufficio di Justin Sun
L'Ufficio di Justin Sun sostiene le iniziative globali commerciali, filantropiche e pubbliche di Justin Sun nei settori della tecnologia, blockchain, intelligenza artificiale, ricerca scientifica, investimenti, arte ed esplorazione spaziale.
Justin Sun è Ambasciatore e già Rappresentante Permanente di Grenada presso l'Organizzazione Mondiale del Commercio e Fondatore di TRON. TRON è la principale blockchain per la rivoluzione delle stablecoin, avendo elaborato oltre 13 trilioni di dollari di volume dalla sua nascita. Nei mercati emergenti del mondo, le persone si affidano a USDT su TRON per accedere al sistema finanziario globale.
Protetto del fondatore di Alibaba Jack Ma, Sun è stato riconosciuto a livello internazionale 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 nella missione NS-34 di Blue Origin, diventando la 712ª persona nella storia a viaggiare nello spazio. I suoi più ampi interessi includono tecnologia, investimenti, filantropia, arte, gaming ed esplorazione spaziale. Contatto dell'Ufficio di Justin Sun: info@hejustinsun.com Informazioni sul Premio Justin Sun Il Premio Justin Sun è un'iniziativa accademica fondata da Justin Sun per sostenere i progressi in matematica, verifica formale e scoperta scientifica assistita dall'IA. Il premio è decentralizzato e costruito sul principio che il lavoro matematico debba essere giudicato dalla forza, dal rigore e dalla verificabilità della dimostrazione stessa, non dal prestigio o dalla reputazione di chi la presenta. Justin Sun ha istituito il premio a proprio nome come impegno a lungo termine per restituire alla matematica stessa la ricchezza creata attraverso la matematica e la tecnologia. La sua eredità è destinata a essere definita dal corpo di lavoro che riconosce e dai laureati le cui scoperte superano la prova del tempo. Il premio collega sfide matematiche chiaramente definite a dimostrazioni verificabili dalla macchina. I suoi principi guida sono apertura, beneficio pubblico e accesso open-source. Visitare https://www.hejustinsun.com/prize per maggiori informazioni. Contatto: thejustinsunprize@hejustinsun.com
Domande frequenti
FAQ La nuova tornata del Premio Justin Sun per la collaborazione uomo-IA sui problemi di Erdős
D1 Che cos'è il Premio Justin Sun
È un premio finanziato dall'imprenditore crypto Justin Sun che paga le persone per risolvere problemi matematici, specialmente quelli legati ai famosi problemi di Erdős
D2 Cosa sono i problemi di Erdős
Sono una grande raccolta di questioni matematiche aperte poste o rese popolari dal leggendario matematico ungherese Paul Erdős Molte sono semplici da enunciare ma molto difficili da risolvere
D3 Cosa c'è di nuovo in questa tornata del premio
Questa tornata premia specificamente soluzioni in cui un umano e un'IA hanno lavorato insieme, per esempio una persona che usa un modello di IA come ChatGPT o un assistente di dimostrazione per risolvere un problema
D4 Devo usare l'IA per vincere
Per questa tornata sì Il premio è rivolto alla collaborazione uomo-IA, quindi una soluzione puramente umana o una puramente generata dall'IA potrebbe non qualificarsi
D5 Cosa conta come collaborazione uomo-IA
Qualsiasi configurazione in cui una persona e un sistema di IA contribuiscono in modo significativo, ad esempio l'IA suggerisce passaggi della dimostrazione e l'umano li verifica, corregge e affina
D6 Chi può partecipare
Generalmente chiunque: studenti, appassionati o matematici professionisti Controllare le regole ufficiali per limiti di età, residenza o idoneità
D7 A quanto ammonta il premio
Gli importi dei premi sono variati a seconda della tornata e della difficoltà del problema Controllare l'annuncio ufficiale per le cifre esatte
D8 Quali problemi sono idonei
Di solito problemi dai database dei problemi di Erdős o da una lista specifica pubblicata con il premio Non ogni problema aperto si qualifica
D9 Come invio una soluzione
Tipicamente attraverso un modulo di invio ufficiale o un'email indicata nell'annuncio del premio, con la vostra dimostrazione e una descrizione di come è stata usata l'IA
D10 L'IA deve essere uno strumento specifico
No, la maggior parte delle tornate consente qualsiasi strumento di IA: modelli linguistici di grandi dimensioni, dimostratori di teoremi o sistemi personalizzati, purché documentiate ciò che avete usato
D11 Devo spiegare il ruolo dell'IA
Sì Gli organizzatori di solito vogliono un resoconto chiaro di ciò che ha fatto l'IA rispetto a ciò che avete fatto voi, così che la collaborazione sia trasparente
D12 E se la risposta dell'IA è sbagliata
È responsabilità vostra L'umano è responsabile di controllare ogni passaggio Un