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