Cardano 创始人捐赠 2000 万美元在卡内基梅隆大学建立数学研究中心

区快洞察消息，Cardano 创始人 Charles Hoskinson 在推特上宣布向卡内基梅隆大学捐赠 2000 万美元以建立一个数学研究中心「Hoskinson Center for Formal Mathematics」以「重写数学语言」。