The center will work in close collaboration with faculty, students and researchers across campus.

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.

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 it 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.”


All writers’ opinions are their own and do not constitute financial advice in any way whatsoever. Nothing published by CoinDesk constitutes an investment recommendation, nor should any data or Content published by CoinDesk be relied upon for any investment activities. CoinDesk strongly recommends that you perform your own independent research and/or speak with a qualified investment professional before making any financial decisions.

Join Telegram

Recommended content


Recommended Content

Editors’ Picks

Ethereum dips slightly amid Renzo depeg, BlackRock spot ETH ETF amendment

Ethereum dips slightly amid Renzo depeg, BlackRock spot ETH ETF amendment

Ethereum (ETH) suffered a brief decline on Wednesday afternoon despite increased accumulation from whales. This follows Ethereum restaking protocol Renzo restaked ETH (ezETH) crashing from its 1:1 peg with ETH and increased activities surrounding spot Ethereum ETFs.

More Ethereum News

Injective price weakness persists despite over 5.9 million INJ tokens burned

Injective price weakness persists despite over 5.9 million INJ tokens burned

Injective (INJ) price is trading with a bearish bias, stuck in the lower section of the market range. The bearish outlook abounds despite the network's deflationary efforts to pump the price. Coupled with broader market gloom, INJ token’s doomed days may not be over yet.

More Injective News

US intensifies battle against crypto privacy protocols following crackdown on Samourai Wallet

US intensifies battle against crypto privacy protocols following crackdown on Samourai Wallet

CEO Keonne Rodriguez and CTO William Lonergan of Samourai Wallet were arrested by the US Department of Justice (DoJ) on Wednesday and charged with $100 million in money laundering on a count and illegal money transmitting on another count. This move could see privacy-focused cryptocurrencies take a dip.

More Cryptocurrencies News

Near Protocol Price Prediction: NEAR fulfills targets but a 10% correction may be on the horizon

Near Protocol Price Prediction: NEAR fulfills targets but a 10% correction may be on the horizon

Near Protocol price has completed a 55% mean reversal from the bottom of the market range at $4.27. Amid growing bearish activity, NEAR could drop 10% to the $6.00 psychological level before a potential recovery. A break and close above $7.95 would invalidate the downleg thesis.

More Near Protocol News

Bitcoin: BTC post-halving rally could be partially priced in Premium

Bitcoin: BTC post-halving rally could be partially priced in

Bitcoin (BTC) price briefly slipped below the $60,000 level for the last three days, attracting buyers in this area as the fourth BTC halving is due in a few hours. Is the halving priced in for Bitcoin? Or will the pioneer crypto note more gains in the coming days? 

Read full analysis

BTC

ETH

XRP