Justin Sun Prize collabora con MathDB di Tony Yue Yu (Caltech) per progetto pilota da 50 problemi

Il Premio Justin Sun è stato istituito per diventare il “Premio Nobel dell’era dell’IA”, rispondendo alla profonda trasformazione della ricerca scientifica e degli incentivi nella nuova era in modo più decentralizzato, formalizzato e guidato dalle macchine. I premi a livello di problema possono raggiungere 1 milione di dollari, soggetti ai termini di assegnazione applicabili e ai requisiti di idoneità.

La collaborazione introduce un processo di presentazione e revisione tramite MathDB. MathDB accetterà le soluzioni inviate, verificherà le formalizzazioni Lean ed esaminerà i materiali esplicativi, mentre il Justin Sun Prize valuterà separatamente l’idoneità, l’attribuzione, la priorità e i termini di assegnazione applicabili.

«L’IA sta cambiando la velocità con cui è possibile esplorare la matematica, ma la velocità da sola non equivale a progresso scientifico», ha affermato Justin Sun, fondatore del Premio Justin Sun. «L’opportunità consiste nel creare un quadro di riferimento in cui l’intuizione umana e l’intelligenza artificiale possano collaborare senza compromettere il rigore. La collaborazione con MathDB riunisce le scoperte matematiche e le dimostrazioni verificabili da una macchina nello stesso processo, il che, a nostro avviso, può contribuire a definire un modello più rigoroso per le scoperte future». Il progetto pilota comprende 50 problemi suddivisi in quattro livelli di premio, con montepremi per singolo problema fino a 1 milione di dollari, a seconda del problema. Il livello più alto comprende, tra gli altri, P contro NP, l’ipotesi di Riemann, l’esistenza di Yang-Mills e il divario di massa, la congettura di Hodge, la funtorialità globale di Langlands e la congettura di Birch e Swinnerton-Dyer. L’elenco completo dei problemi partecipanti e i termini di assegnazione dei premi saranno disponibili su MathDB e sul sito del Justin Sun Prize. Tutti i premi sono soggetti a verifica completa dell’idoneità, al rispetto delle leggi antiriciclaggio (AML/sanzioni) e al regolamento ufficiale del programma disponibile all’indirizzo https://www.hejustinsun.com/prize.

Per ampliare la portata e l’impatto della ricerca avanzata, il programma pilota MathDB premierà non solo le soluzioni ai problemi matematici, ma anche una comunicazione coinvolgente e accessibile di tali soluzioni. Il premio è suddiviso in tre categorie: il 50% per la soluzione matematica, il 30% per la formalizzazione Lean e il 20% per l’esposizione qualificante.

MathDB è un database comunitario su larga scala di definizioni matematiche, teoremi, congetture e problemi aperti, con l’obiettivo di rendere più facile organizzare, collegare e sviluppare la conoscenza matematica. Il progetto integra la formalizzazione Lean e la capacità di verifica automatizzata delle dimostrazioni, insieme a spiegazioni matematiche e materiali di ricerca di supporto. Il professor Tony Yue Yu del California Institute of Technology, insieme al suo team, guiderà gli aspetti scientifici del progetto pilota. «Risolvere un problema matematico fondamentale spesso porta a molto più che a una semplice risposta alla domanda originale», ha affermato Yu. «Il processo può rivelare connessioni inaspettate, introdurre strumenti potenti e aprire direzioni di ricerca completamente nuove. Questi sviluppi possono avere un’influenza che si estende attraverso le generazioni e le discipline. Il Justin Sun Prize celebra questo spirito di esplorazione richiamando l’attenzione su problemi impegnativi, sostenendo i ricercatori che li affrontano e incoraggiando la diffusione pubblica della conoscenza. La nostra collaborazione con il Premio Justin Sun si fonda sulla convinzione che perseguire la ricerca fondamentale attraverso approcci decentralizzati, rigorosi e verificabili possa accelerare il ritmo delle scoperte e del progresso scientifico, contribuendo al progresso della civiltà umana.” L’elenco completo dei problemi partecipanti, i requisiti per la presentazione delle candidature e le procedure di valutazione saranno disponibili su MathDB e sul sito del Premio Justin Sun.

Informazioni sull’Ufficio di Justin Sun L’Ufficio di Justin Sun sostiene le iniziative globali di Justin Sun in ambito imprenditoriale, 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.000 miliardi 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. Contatto per i media: media@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.