Share this article
Cardano’s Charles Hoskinson Donates $20M to Build Math Center at Carnegie Mellon University
The center will work in close collaboration with faculty, students and researchers across the campus.
Updated May 11, 2023, 4:12 p.m. Published Sep 27, 2021, 12:56 a.m.
Cardano founder Charles Hoskinson has donated $20 million to Carnegie Mellon University (CMU) to establish the Hoskinson Center for Formal Mathematics.
The center will be based in CMU’s Dietrich College of Humanities and Social Sciences. Jeremy Avigad, a professor of philosophy and mathematical sciences at the university, will lead the center.
STORY CONTINUES BELOW
Don't miss another story.Subscribe to the Crypto Daybook Americas Newsletter today. See all newsletters
Mathematical theorems focusing on discovering proofs, verifying steps and certifying correctness via the assistance of computers will be the center’s main area of research.
The university said in a statement last week that the center will drive a “new way” of doing math by creating “collaborative digital libraries” for mathematical tools. CMU said it will make the technology widely accessible and advance discoveries across a broad range of disciplines, including computer science, physics and economics, among others.
Hoskinson’s donation is considerably large by comparison to the seven-year median donations the university generally receives per student. Forbes highlights CMU’s 81st ranking as the result of “lower alumni participation numbers,” which typically receives around $9,483 per student.
“I think in a very short amount of time the output of this center is going to be remarkable,” Hoskinson said during a speech at CMU on Thursday. “It’s going to start small, but big things do have little beginnings... later on it will grow to cover maybe another Bourbaki-style moment where we can cover the entire pedagogy of math and have open-source textbooks with this paradigm.”
Read more: IOHK Opens Cardano Research Lab at University of Wyoming Following $500K Donation
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
French Banking Giant BPCE to Roll Out Crypto Trading for 2M Retail Clients
The service will allow customers to buy and sell BTC, ETH, SOL, and USDC through a separate digital asset account managed by Hexarq.
What to know:
- French banking group BPCE will start offering crypto trading services to 2 million retail customers through its Banque Populaire and Caisse d’Épargne apps, with plans to expand to 12 million customers by 2026.
- The service will allow customers to buy and sell BTC, ETH, SOL, and USDC through a separate digital asset account managed by Hexarq, with a €2.99 monthly fee and 1.5% transaction commission.
- The move follows similar initiatives by other European banks, such as BBVA, Santander, and Raiffeisen Bank, which have already started offering crypto trading services to their customers.
Top Stories
