Aggiungici a preferiti su Google
Il 16 settembre 2026, Justin Sun, fondatore di TRON, ha lanciato ufficialmente il Justin Sun Prize, un premio dedicato alla matematica. Questo riconoscimento prevede ricompense basate su blockchain e non ha limiti di etĆ , categorie o cerimonie. Le ricompense saranno assegnate a chi fornisce dimostrazioni matematiche verificate da macchine.
Il premio ha identificato i primi 66 problemi di matematica classica da premiare. I fondi per le ricompense sono giĆ stati trasferiti on-chain, e l’indirizzo del montepremi ĆØ pubblico, consentendo la verifica del saldo.
Justin Sun Annuncia il Justin Sun Prize per la Matematica
Ogni problema puĆ² avere due destinatari: il Prover, l’autore della dimostrazione, e il Formalizer, che la converte in un formato verificabile. Questi ruoli possono essere ricoperti dalla stessa persona o da partecipanti diversi. Sun ha osservato che il risultato di una dimostrazione puĆ² derivare da un essere umano, da un’IA o da entrambi.
Le ricompense verranno erogate solo dopo la verifica delle dimostrazioni da parte di una macchina, assicurando l’assenza di errori. Se una dimostrazione ĆØ stata accettata dalla comunitĆ matematica ma non ĆØ ancora formalizzata, sarĆ etichettata come āproven, pending formalizationā, e i fondi resteranno bloccati fino al completamento della formalizzazione.
Sun ha affermato che la sua autoritĆ si limita alla compilazione dellāelenco dei problemi e alla definizione delle ricompense. Una volta registrato, un problema non potrĆ essere rimosso, e i fondi depositati non saranno prelevabili. āNon sono un matematico. Sono soltanto un osservatore e un benefattore,ā ha dichiarato Sun.
L’iniziativa ha suscitato interesse nella comunitĆ di X, con l’utente Chau Le che ha apprezzato la combinazione di matematica, blockchain, AI e verifica formale. L’utente Kaisen ha sottolineato che il premio non assegna riconoscimenti di reputazione o status, ma si concentra sulle componenti distinte della creazione e della verifica delle dimostrazioni.
Sun ha spiegato che la sua ricchezza deriva dai principi matematici alla base della crittografia e della blockchain. Ha aggiunto che lo sviluppo dellāAI potrebbe accelerare la scoperta e la formalizzazione delle dimostrazioni matematiche.
Appassionato di trading online investe regolarmente su Azioni, ETF e Criptovalute. Nel 2020 decide di fondare il blog Broker-Forex.it per il quale si occupa di realizzare guide e news principalmente su criptovalute.