I
Alfred Nobel inventò la dinamite, che gli fruttò gran parte della sua ricchezza.
La leggenda vuole che nel 1888 un giornale francese pubblicò per errore il suo necrologio con il titolo: "Il mercante di morte è morto." Nobel lesse il proprio necrologio e, pochi anni dopo, redasse il suo testamento.
Oggi nessuno lo chiama più mercante di morte.
"Nobel" è diventato un termine neutro, molto simile a "volt" o "watt": spogliato di ogni sentimento, semplicemente un'unità di misura. Ha lasciato la sua ricchezza a coloro che hanno "conferito il maggior beneficio all'umanità". La sua ricchezza è tornata all'umanità e il suo nome ha riconquistato la neutralità, non attraverso l'autogiustificazione, ma grazie a un secolo di vincitori del premio.
Condivido questa storia perché lo capisco. So da dove proviene la ricchezza e dove può andare.
II
La mia ricchezza è stata costruita sulla matematica.
L'intera industria blockchain si fonda su alcuni blocchi crittografici ben studiati e assunzioni matematiche: la difficoltà di risolvere i logaritmi discreti sulle curve ellittiche, l'irreversibilità delle funzioni hash e la intrattabilità della fattorizzazione dei grandi numeri. Nel 1985, due matematici concepirono indipendentemente l'idea di utilizzare le curve ellittiche per la crittografia: uno in un'università, l'altro alla IBM, completamente ignari l'uno dell'altro. All'epoca, nessuno ne vedeva alcuna applicazione pratica. Ciò che abbozzarono sulle lavagne si è poi evoluto in un mercato da trilioni di dollari, concedendo agli individui qualcosa di senza precedenti: una vera sovranità finanziaria senza permessi. Eppure, quei due matematici non guadagnarono mai un centesimo dalla rivoluzione che avevano reso possibile.
Questa libertà è uno dei doni più profondamente sottovalutati della matematica all'umanità. Ho tratto grande vantaggio da questo dono. Istituire questo premio è, prima di tutto, il mio modo di restituire a quella stessa fondazione.
III
Non esiste un Premio Nobel per la Matematica. Questa omissione risale a oltre un secolo fa: forse nata da ragioni personali, o forse una semplice svista.
In seguito sono arrivati la Medaglia Fields, assegnata ogni quattro anni a matematici sotto i quarant'anni, e il Premio Abel, assegnato annualmente in riconoscimento di una carriera intera. Sono entrambi eccezionali, ma la loro cadenza appartiene a un'era passata.
La comunità matematica, tuttavia, aveva una propria tradizione. Paul Erdős passò la vita offrendo taglie su problemi matematici irrisolti, proponendo importi che andavano dai 25 ai 10.000 dollari. Chiunque ne risolvesse uno riceveva un assegno da lui. Molti incorniciarono questi assegni alle pareti, senza mai incassarli durante la loro vita. Erdős morì nel 1996 e da allora tali taglie sono diventate rare.
La matematica sta ora entrando in un'era completamente nuova. L'intelligenza artificiale non può eseguire esperimenti fisici, ma eccelle nel ragionamento logico. Potrebbe avere difficoltà a costruire un acceleratore di particelle per i fisici, ma può esplorare diecimila percorsi per un matematico. Oggi, il tempo tra la proposta di una congettura e la sua dimostrazione può essere questione di mesi, o persino giorni. Di fronte a una velocità così senza precedenti, un premio assegnato ogni quattro anni è come una campana lenta che suona in un mondo che cambia giorno per giorno.
IV
Per questo motivo, la progettazione del Justin Sun Prize è straordinariamente semplice.
Il premio ricompensa la soluzione, non la persona. Nessun gala annuale, nessuna nomina burocratica, nessun limite d'età.
Ogni sfida riconosce due contributori distinti: il dimostratore e il formalizzatore, ovvero la persona che traduce la dimostrazione in un formato verificabile dalla macchina. Questi ruoli possono essere ricoperti dalla stessa persona, o da sconosciuti dall'altra parte del mondo. Umano, IA, o un ibrido di entrambi: mi interessa solo il risultato, non se il contributore è umano o una macchina. Lo stesso nome può apparire ripetutamente, nello slot in cui viene guadagnato.
Il pagamento ha un unico trigger: la macchina deve verificare la dimostrazione dalla prima all'ultima riga, senza un singolo errore. Una volta superata la verifica, coloro elencati nelle due colonne sono i proprietari del premio per quel problema.
Non ho inventato io questo standard: Peter Scholze ha pubblicato online il suo teorema fondamentale, invitando la comunità a formalizzarlo per la verifica automatica; l'Ultimo Teorema di Fermat è attualmente tradotto in codice, riga per riga, mentre parliamo.
Ma il successo umano viene riconosciuto molto prima che la macchina completi il suo lavoro. Una volta che la comunità matematica accetta una dimostrazione, il nome del dimostratore viene ufficialmente riconosciuto. I fondi rimangono bloccati e lo stato si aggiorna a: "Dimostrato, in attesa di formalizzazione".
La taglia per la risoluzione del problema si applica solo alle sfide risolte dopo essere state aggiunte al registro ufficiale. Se un problema è già risolto quando viene incluso, il nome del dimostratore viene comunque registrato, ma il premio va interamente a chi lo formalizza per la macchina. Questo premio documenta la storia mentre si svolge; non emette premi retroattivi per lavori già eseguiti.
I confini sono tracciati chiaramente: il merito va alla comunità matematica, il premio appartiene alla macchina e il finanziatore mantiene una rigorosa indipendenza da entrambe. Il giudizio umano è riservato a una sola cosa: confermare che il problema codificato nella macchina sia effettivamente il problema corretto.
La mia autorità inizia e finisce con una sola cosa: la lista. Quali sfide vengono aggiunte e quali taglie portano: è a mia esclusiva discrezione. Erdős scriveva gli importi sui suoi assegni di persona e non vedo motivi per rompere con quella tradizione. Ma una volta che una taglia è elencata, è bloccata: i problemi possono essere solo aggiunti, mai rimossi; i fondi possono essere solo pagati, mai ritirati dal finanziatore.
Nessuno, me compreso, può manomettere questo sistema. Se una sfida è formulata in modo errato, la taglia viene comunque pagata e la versione corretta verrà ri-listata.
La mia attenzione personale è interamente concentrata su questo singolo compito. Oltre a stabilire il prezzo delle taglie, non ho alcun voto nella verifica, nel pagamento o nell'attribuzione dei nomi.
I risultati parlano da soli.
V
L'aspetto più avvincente di queste regole è l'"attesa".
Dopo che un problema è stato risolto e accettato dalla comunità matematica, il premio non viene assegnato immediatamente. Il nome del dimostratore appare per primo, la colonna della formalizzazione rimane vuota e lo stato recita: "Dimostrato, in attesa di formalizzazione". Una volta che qualcuno formalizza quella dimostrazione e la macchina la verifica, il suo nome viene inserito nella colonna vuota e il processo di stabilire la proprietà del premio inizia in quel momento.
In altri premi, l'attesa è tempo morto: un processo burocratico, un male necessario. Qui, l'attesa stessa è un inventario aperto di compiti da svolgere.
Molti incorniciarono gli assegni di Erdős alle pareti senza mai incassarli. Un assegno non incassato è un monumento al passato, mentre il premio bloccato on-chain è un catalizzatore per il futuro. Quello slot vuoto annuncia efficacemente al mondo: un compito storico attende, e porta con sé una taglia.
Da questa lista di problemi cresce qualcosa di molto più grande: una mappa pubblica, che traccia tutto ciò che l'umanità ha accettato ma che le macchine devono ancora verificare. Una tale mappa non esiste oggi. Esiste solo in frammenti, sparsi su piattaforme disparate: mai unificata, e certamente priva di cartellini dei prezzi.
Coloro che lavorano alla formalizzazione non hanno mai mancato di passione; ciò che manca è un progetto con taglie chiare allegate. La taglia va a chi completa il compito. Da questo giorno in poi, la passione per inserire lunghe dimostrazioni nelle macchine resta loro, ma il supporto finanziario è responsabilità mia.
VI
Voglio anche parlare della filosofia guida. È qui che il premio diverge davvero dal Nobel.
Nobel era un inventore. Credeva, per tutta la vita, che una cosa dovesse essere utile: che dovesse mettere radici nella realtà, essere costruita, venduta e cambiare il modo in cui le persone vivono. Questa era la sua filosofia guida ed è incisa nei premi che portano il suo nome: fisica, chimica, medicina, letteratura, pace. Ognuno premia un lavoro che ha un impatto tangibile nel mondo reale. Per oltre un secolo, il Nobel ha onorato coloro che costruiscono su basi solide.
La mia filosofia guida è diversa e non vedo motivi per nascondere le sue origini. Ho letto il saggio di Dario Amodei Machines of Loving Grace e condivido la visione che dipinge: una nazione di geni che vive dentro un data center.
Condivido quella visione perché sto lavorando verso quello stesso obiettivo finale. Fin dall'inizio, la blockchain è stata un regno costruito interamente nell'astratto: niente fabbriche, niente miniere, niente territorio, solo consenso e matematica. Il mio lavoro nell'IA è semplicemente un altro modo di espandere quel regno. Credo che in questo secolo una grande parte delle strutture più importanti dell'umanità esisterà nei regni digitali e il puro ragionamento è l'unica base su cui un tale regno può essere costruito. Nel 1940, G. H. Hardy scrisse in A Mathematician’s Apology di essere felice che la teoria dei numeri non avrebbe mai avuto alcuna utilità pratica. Ottant'anni dopo, la teoria dei numeri è la fondazione della mia industria.
Nobel e io abbiamo scelto direzioni diverse. Lui ricompensava applicazioni tangibili nel mondo reale; io sto ricompensando il puramente teorico: strutture astratte costruite con precisione logica impeccabile. Nessuno dei due approcci è superiore all'altro; riflettono due ere e due paradigmi distinti. Voglio trasmettere questa visione di un regno astratto guidato dalla logica, anno dopo anno, attraverso un premio.
VII
Nell'autunno del 2007, tre studenti si iscrissero alla Peking University nello stesso anno. Uno arrivò da Shenzhen, medaglia d'oro alle Olimpiadi, ed entrò nella Scuola di Scienze Matematiche. Un altro venne da Guilin, iniziò in Scienze della Terra e dello Spazio, poi si trasferì in matematica. Il terzo veniva da Huizhou e studiava storia.
Diciannove anni dopo, due di loro hanno condiviso il palco a Philadelphia. Wang Hong e Deng Yu hanno ricevuto le Medaglie Fields 2026.
Il terzo ha letto la notizia di recente mentre navigava online dalla cabina di un jet privato. Ha posato il telefono. Il suo primo pensiero non è stato l'orgoglio. È stato questo: la nostra generazione è cresciuta. È ora che facciamo il nostro contributo.
Il loro contributo è dimostrare teoremi. Il mio è assicurarmi che vengano ricompensati per questo.
VIII
Negli anni, i miei sforzi filantropici sono stati dispersi in varie iniziative. In futuro, concentrerò tutta la mia attenzione su questo premio, perché rappresenta il mio potenziale contributo più significativo all'umanità.
Per ora, è un premio di matematica.
IX
Un punto finale sul perché questo premio porta il mio nome: ci sono due ragioni principali.
Primo, un premio intitolato a una persona è una delle poche cose che trascende la politica istituzionale. Nobel, Fields, Abel, Turing, Wolf: i premi più duraturi in matematica e nelle scienze sono quasi tutti intitolati a individui. Le nazioni cambiano, le istituzioni si rinnovano, le aziende scompaiono. Una volta che un nome è su un premio, rimane lì. Nessuno lo riscrive.
Secondo, lo devo a me stesso. Ho trentasei anni. La ricchezza che ho già accumulato supera ciò di cui ho bisogno. La ricchezza senza scopo genera dispute ereditarie e degenera in mere registrazioni di case d'asta. Mentre sono sano di mente e capace, voglio dirigere questa ricchezza io stesso: è provenuta dalla matematica e alla matematica torna.
Riguardo a qualsiasi scrutinio pubblico attorno a me, lasciate che la lista dei vincitori parli da sola. Non mi aspetto che nessuno prenda la mia parola per buona oggi.
Il Justin Sun Prize è costruito per resistere alla prova del tempo.
X
In chiusura, questo premio non richiede fiducia tra le persone. La verifica è matematica. La macchina risponde solo alla logica. Il montepremi iniziale è già stato trasferito sulla blockchain. L'indirizzo è pubblico e chiunque può vedere il saldo. Mantengo solo il diritto di aggiungere ulteriori fondi.
Ogni dimostrazione vincente sarà resa pubblica, così chiunque potrà esaminarla di persona. Nessuna fiducia richiesta: né in me né in alcun comitato. Ogni pagamento rimarrà sulla catena: pubblico, immutabile, verificabile tra cento anni. Una volta stabilita una dimostrazione, essa rimane per sempre. Spero che la ricompensa data al dimostratore rifletta la stessa permanenza duratura.
Non sono un matematico. Sono semplicemente un osservatore e un benefattore. Il resto è lasciato alle dimostrazioni.
Justin Sun
Per maggiori informazioni sul Justin Sun Prize, visita i seguenti canali ufficiali:
Sito Web Ufficiale: hejustinsun.com/prize
GitHub: github.com/TheJustinSunPrize
