Il nuovo ciclo del Premio Justin Sun rende omaggio alla collaborazione tra esseri umani e IA sui problemi di Erdős

Wouter van Doorn è un teorico dei numeri indipendente che ha iniziato a dedicarsi alla ricerca matematica durante gli studi universitari nel 2010 e ha continuato a collaborare e a pubblicare anche 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, fino alla scoperta matematica assistita dall’intelligenza artificiale. I problemi di Erdős sono questioni matematiche formulate o rese note 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, con alcuni che rimangono irrisolti da decenni. Il catalogo di Erdős, compilato e curato da Thomas Bloom, matematico e ricercatore universitario della Royal Society presso l’Università di Manchester, conta più di 1200 problemi.

Van Doorn e Tang hanno collaborato con Yanyang Li, della Scuola di Matematica della Southeast University di Nanchino, per risolvere il problema di Erdős n. 650, determinando esattamente quanti numeri interi possano sempre essere abbinati a multipli distinti all’interno di un intervallo specificato. Van Doorn ha inoltre 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 limitati; il 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 n. 469, relativo alla possibilità che i reciproci di una classe speciale di numeri, esprimibili come somme dei loro divisori, diano come risultato 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, elaborata da un team più ampio, del problema n. 1196, che limita le 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’IA possano completarsi a vicenda. ChatGPT ha aiutato a sviluppare la strategia di dimostrazione, mentre Aristotle, un sistema di IA per il ragionamento matematico, ha colmato una lacuna durante la formalizzazione con Lean. I ricercatori hanno poi semplificato l’argomentazione e redatto le dimostrazioni e l’esposizione finali.

«Questa esperienza mi ha insegnato come il feedback del pubblico possa affinare una domanda di ricerca e come la scoperta assistita dall’IA possa combinare giudizio matematico, collaborazione e verifica rigorosa», ha affermato Tang. Questi sono i primi premi confermati dal programma, che riconoscono sia la scoperta matematica sia il lavoro necessario per rendere le dimostrazioni verificabili in modo indipendente. Le informazioni sul Premio Justin Sun, il suo catalogo dei problemi e i contributi dei vincitori sono disponibili tramite il repository GitHub pubblico del programma. I premi saranno erogati in USDT su TRON (TRC-20) o in USDC su Ethereum (ERC-20) a scelta del vincitore. Per ulteriori informazioni, visitare il sito www.hejustinsun.com/prize. Informazioni sull’Ufficio di Justin Sun L’Ufficio di Justin Sun sostiene le iniziative globali di Justin Sun in ambito commerciale, filantropico e pubblico nei settori della tecnologia, della blockchain, dell’intelligenza artificiale, della ricerca scientifica, degli investimenti, dell’arte e dell’esplorazione spaziale.

Justin Sun è l’Ambasciatore ed ex Rappresentante Permanente di Grenada presso l’Organizzazione mondiale del commercio, nonché fondatore di TRON. TRON è la blockchain leader nella rivoluzione delle stablecoin, con un volume di transazioni superiore a 13 trilioni di dollari dal suo lancio. Nei mercati emergenti di tutto il mondo, le persone si affidano all’USDT su TRON per accedere al sistema finanziario globale.

Allievo del fondatore di Alibaba Jack Ma, Sun ha ottenuto riconoscimenti a livello internazionale per il suo lavoro nel settore degli asset digitali, tra cui un articolo di copertina su Forbes nell’aprile 2025 e numerose apparizioni nella lista «Forbes 30 Under 30». Nell’agosto 2025 ha partecipato alla missione NS-34 di Blue Origin, diventando la 712ª persona nella storia a viaggiare nello spazio. I suoi interessi spaziano dalla tecnologia agli investimenti, dalla filantropia all’arte, dai videogiochi all’esplorazione spaziale.

Contatti dell’ufficio di Justin Sun: info@hejustinsun.com Informazioni sul Justin Sun Prize

Il Premio Justin Sun è un’iniziativa accademica istituita da Justin Sun per sostenere i progressi nel campo della matematica, della verifica formale e delle scoperte scientifiche assistite dall’intelligenza artificiale. Il premio è decentralizzato e si basa sul principio secondo cui il lavoro matematico dovrebbe essere giudicato in base alla forza, al rigore e alla verificabilità della dimostrazione stessa, non al prestigio o alla reputazione di chi lo 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 corpus di lavori che riconosce 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 l’apertura, il beneficio pubblico e l’accesso open source. Visita https://www.hejustinsun.com/prize per ulteriori informazioni. Contatti: thejustinsunprize@hejustinsun.com _________________________________________________________________________

Bitcoin.com non si assume alcuna responsabilità e non sarà ritenuta responsabile, né direttamente né indirettamente, per eventuali perdite, danni, reclami, costi o spese di qualsiasi tipo, siano essi effettivi, presunti o consequenziali, derivanti da o in relazione all’uso o all’affidamento su qualsiasi contenuto, bene o servizio citato in questo articolo. L'affidamento riposto in tali informazioni è strettamente a rischio e pericolo del lettore.