链闻消息,Cardano 创始人 Charles Hoskinson 在推特上宣布向卡内基梅隆大学捐赠 2000 万美元以建立一个数学研究中心「Hoskinson Center for Formal Mathematics」以「重写数学语言」。
分享快讯到朋友圈
领取专属 10元无门槛券
私享最新 技术干货