Cardano'nun kurucusu Charles Hoskinson, Carnegie Üniversitesi ile birlikte Hoskinson Formal Matematik Merkezi'ni kurmak için 20 milyon dolar bağışladı. Hoskinson, Hoskinson Formal Matematik Merkezi' kuracağını ve devamındaki gelişmeleri Twitter üzerinden duyurdu.
The cats out of the bag. Today I got to announce the Hoskinson Center for Formal Mathematics at @CarnegieMellon I donated 20 million dollars to create a permanent center to rewrite the language of math. pic.twitter.com/d7D2JPry3E
— Charles Hoskinson (@IOHK_Charles) September 21, 2021
