Il premio Sun Yuchen conferma Neel Somani come ultimo vincitore! Ha risolto con successo i problemi matematici JSP-000239 e JSP-000327

Crypto Circle (120btc.CoM): La sera del 28 ottobre, l'account ufficiale del premio Sun Yuchen ha pubblicato ufficialmente il ritratto dell'ultimo vincitore, confermando che il noto ricercatore quantitativo Neel Somani ha vinto il premio, diventando l'autore ufficiale delle soluzioni ai due problemi difficili JSP-000239 e JSP-000327. La lista onoraria ufficiale lo ha registrato formalmente come risolutore matematico per l'anno 2026, insieme ai validatori formali corrispondenti.

Somani, laureato presso l'Università della California, Berkeley, con un background interdisciplinare in matematica, informatica e gestione aziendale, ha lavorato come ricercatore quantitativo presso il top hedge fund Citadel, e i suoi risultati accademici sono stati selezionati per conferenze di alto livello come USENIX Security e OOPSLA. In precedenza, ha utilizzato con successo lo strumento di prova interattiva formale Lean per identificare un difetto di degrado delle prestazioni nell'algoritmo di ordinamento di base di CPython.

Nella risoluzione del primo problema JSP-000327, che esplora se esistano un numero finito di uguaglianze tra i prodotti di coefficienti centrali binomiali distinti sotto specifiche condizioni di vincolo, ha innovativamente legato la deduzione matematica tradizionale con algoritmi all'avanguardia. Dopo aver inserito la proposizione nel modello GPT 5.2 Pro per ottenere indizi preliminari sulla combinatoria, ha verificato rigorosamente la validità della proposizione attraverso calcoli algebrici manuali. La soluzione, inviata a un forum accademico professionale, ha ricevuto la validazione indipendente sostanziale dal matematico Daniel Larsen la notte stessa, e successivamente lo strumento matematico Aristotle sviluppato dal team Harmonic ha generato automaticamente il codice formale Lean corrispondente, completando il ciclo dalla congettura in linguaggio naturale alla prova leggibile dalla macchina.

Formazione di un team universitario per la risoluzione sistematica dei problemi

Dopo il successo iniziale, Somani ha rapidamente ampliato la sua ricerca individuale in un progetto industriale di collaborazione uomo-macchina. Ha unito studenti universitari eccezionali provenienti da diverse università, tra cui l'Università della California, Berkeley, la Northwestern University e la Rice University, per formare un team di attacco specializzato, integrando completamente modelli linguistici di grandi dimensioni per un'analisi sistematica del database open source di Erdős.

All'interno di questo sistema di attacco a catena di montaggio, il team ha risolto con successo il secondo problema JSP-000239, che verifica se la copertura delle classi residue infinite può essere realizzata da un numero finito di sottofamiglie in modo uniforme in termini di densità di misura. Per il percorso logico completato, il team ha utilizzato lo strumento Aristotle per la traduzione del codice formale di base. Di maggiore valore metodologico, Somani ha sistematicamente documentato e reso open source un'ontologia dei "casi di fallimento" per le deviazioni comuni dei modelli AI nella risoluzione di logiche matematiche complesse nel suo blog tecnico personale, con l'obiettivo di aiutare la comunità accademica a identificare con precisione i confini delle strozzature nei ragionamenti formali dell'AI. Nella sua dichiarazione di accettazione del premio, Somani ha espresso gratitudine per il supporto del team di Sun Yuchen e ha sottolineato che l'evoluzione dell'AI nel campo del ragionamento matematico nell'ultimo anno è notevole, e che la formalizzazione del codice può essere utilizzata non solo per la revisione di teoremi puramente matematici, ma può anche diventare uno strumento industriale chiave per garantire l'assoluta correttezza dei sistemi software generali.

Meccanismo di distribuzione delle risorse finanziarie on-chain

Dalla nomina dei candidati all'ingresso ufficiale nel pantheon dell'onore, l'intero sistema di revisione ha seguito rigorose norme di audit on-chain e nella comunità open source. Secondo la registrazione della proposta numero 5051 nel repository ufficiale dei codici premio di GitHub:

• Punto uno: le proposte di soluzione per i due problemi sono state ufficialmente presentate e pubblicate per il periodo di revisione pubblica il 30 settembre;

• Punto due: dopo 14 giorni di revisione tra pari nella comunità open source senza obiezioni, il 14 ottobre sono state ufficialmente trasferite nell'elenco finale dei vincitori, e il promotore del progetto Sun Yuchen ha confermato lo stesso giorno che entrambi i problemi erano stati superati con successo dalla verifica formale;

• Punto tre: la sera del 28 ottobre, l'ufficiale ha pubblicato un'intervista approfondita con il vincitore, rivelando completamente i dettagli della risoluzione del problema.

In termini di meccanismi finanziari e di pagamento dei premi, il premio ha stabilito regole chiare di ripartizione delle responsabilità. Secondo i dettagli ufficiali, il pool di premi per ogni problema è suddiviso rigorosamente in base al 70% per il risolutore e al 30% per il traduttore del codice formale Lean; se lo stesso studioso ricopre entrambe le funzioni, può godere dell'intero premio. Il premio di livello più alto, il Pinnacle, ammonta a 1 milione di dollari, mentre gli altri livelli sono assegnati in base alla valutazione della difficoltà, e tutti i premi vengono pagati on-chain tramite due stablecoin conformi principali, USDT e USDC. Per prevenire frodi online e rischi di violazione della privacy, al termine del periodo di pubblicazione, i vincitori devono inviare le informazioni di identificazione e l'indirizzo di pagamento tramite il canale ufficiale di posta elettronica crittografata per completare la verifica offline, e è severamente vietato pubblicare chiavi private o indirizzi on-chain nel forum pubblico di GitHub.

Questo contenuto è fornito a solo scopo informativo generale e non costituisce consulenza finanziaria, di investimento, legale o fiscale. Qualsiasi evento, ricompensa, promozione online o informazione correlata menzionata nel presente documento non deve essere considerata una raccomandazione, una sollecitazione o un invito ad acquistare, vendere, fare trading o altrimenti negoziare criptovalute. Le criptovalute sono altamente volatili e possono comportare perdite. La disponibilità dei servizi, dei prodotti e degli eventi correlati di WEEX può variare a seconda della regione. È tua responsabilità assicurarti che la tua partecipazione sia conforme alle leggi e ai regolamenti locali applicabili.