Share this article
Charles Hoskinson di Cardano dona 20 milioni di dollari per costruire un centro di matematica alla Carnegie Mellon University
Il centro lavorerà in stretta collaborazione con docenti, studenti e ricercatori dell'intero campus.
Updated May 11, 2023, 4:12 p.m. Published Sep 27, 2021, 12:56 a.m.
Il fondatore di Cardano , Charles Hoskinson, ha donato 20 milioni di dollari alla Carnegie Mellon University (CMU) per fondare l'Hoskinson Center for Formal Mathematics.
Il centro avrà sede nel Dietrich College of Humanities and Social Sciences della CMU. Jeremy Avigad, professore di filosofia e scienze matematiche presso l'università, guiderà il centro.
La storia continua sotto
Don't miss another story.Subscribe to the Crypto Daybook Americas Newsletter today. See all newsletters
I teoremi matematici incentrati sulla scoperta di dimostrazioni, sulla verifica dei passaggi e sulla certificazione della correttezza tramite l'assistenza dei computer saranno il principale ambito di ricerca del centro.
L'università ha affermato in undichiarazione la scorsa settimana che il centro guiderà un "nuovo modo" di fare matematica creando "biblioteche digitali collaborative" per strumenti matematici. La CMU ha affermato che renderà la Tecnologie ampiamente accessibile e promuoverà le scoperte in un'ampia gamma di discipline, tra cui informatica, fisica ed economia, tra le altre.
La donazione di Hoskinson è considerevolmente grande se confrontata con la media delle donazioni che l’università riceve generalmente per studente in sette anni.Punti salienti di ForbesL'81° posto della CMU è dovuto al "minore numero di partecipanti degli ex studenti", che in genere riceve circa $ 9.483 per studente.
"Penso che in un lasso di tempo molto breve la produzione di questo centro sarà notevole", ha detto Hoskinson durante undiscorso alla CMUgiovedì. "Inizierà in piccolo, ma le grandi cose hanno anche piccoli inizi... più avanti crescerà fino a coprire forse un altroStile Bourbakimomento in cui potremo coprire l'intera pedagogia della matematica e avere libri di testo open source con questo paradigma".
Continua a leggere: IOHK apre il laboratorio di ricerca Cardano presso l'Università del Wyoming dopo una donazione di 500.000 dollari
More For You
What to know:
- As of October 2025, GoPlus has generated $4.7M in total revenue across its product lines. The GoPlus App is the primary revenue driver, contributing $2.5M (approx. 53%), followed by the SafeToken Protocol at $1.7M.
- GoPlus Intelligence's Token Security API averaged 717 million monthly calls year-to-date in 2025 , with a peak of nearly 1 billion calls in February 2025. Total blockchain-level requests, including transaction simulations, averaged an additional 350 million per month.
- Since its January 2025 launch , the $GPS token has registered over $5B in total spot volume and $10B in derivatives volume in 2025. Monthly spot volume peaked in March 2025 at over $1.1B , while derivatives volume peaked the same month at over $4B.
More For You
Cascade presenta un servizio di neo-brokeraggio 24/7 con perpetuals su criptovalute e azioni statunitensi
La piattaforma permetterà ai trader al dettaglio di utilizzare un unico conto margine per operare sui mercati perpetui 24 ore su 24.
What to know:
- Cascade ha lanciato un'app in stile brokeraggio disponibile 24/7 per i mercati perpetui che copre criptovalute, azioni statunitensi e l’esposizione ad asset privati.
- La società propone un conto margin unico e unificato con funzionalità diretta in dollari USA per depositi e prelievi.
- La società ha raccolto 15 milioni di dollari da investitori tra cui Polychain Capital, Variant e Coinbase Ventures.
Storie Da Non Perdere
