[Vitalik：感到兴奋的AI应用之一是AI辅助的代码形式验证和错误查找]金色财经报道，以太坊联合创始人Vitalik Buterin在社交媒体上称，让我感到兴奋的人工智能应用之一是人工智能辅助的代码形式验证和错误查找。目前，以太坊最大的技术风险可能就是代码中的错误，任何能够显著改变这一游戏规则的技术都将令人惊叹。
其它快讯：
动态 | EOS的Activity指数以47,221,545排名第一:据blocktivity.info数据，截止北京时间18年12月08日11点00分 ，区块链活跃度指数排名前五名分别为：EOS，WAX，TRON，BitShares，Kin。其中EOS的Activity指数为47,221,545，排名第1。Activity指数为最近24小时内在区块链上执行的操作数量。[12/8/2018 12:00:00 AM]
动态 | Vitalik Buterin提出新的矿工费用模式:以太坊联合创始人Vitalik Buterin发布了一项提案，旨在改善加密货币矿工费用。他认为，目前的矿工补偿模式可以调整，以使矿工和用户受益。为了实现这一目标，他发表了一份相当广泛的文件，详细说明了使用一种统一的价格拍卖模式取代目前的手续费机制。[7/10/2018 12:00:00 AM]
Vitalik Buterin：以太坊已经发展到一定瓶颈 以太经典才是黑马:据今日头条报道，以太坊智能合约平台网路组织遭骇，骇客利用智能合约的漏洞，下指令让DAO重复拨款，总共盗领370万以太币（当时约合5300万美元）。为了取回被盗资金，布特林（Vitalik Buterin）与DAO成员决定忽略被骇旧区块，并重新建立新区块。这个决定，等于打破区块链不可回复、不可窜改的初衷和原则，自然引发许多争议。但是事情发展到现在，布特林说：“虽然以太坊（ETH）似乎正在吸引所有媒体的关注，以太经典（ETC）似乎扮演了黑马的角色。”他认为以太坊已经发展到了一定的瓶颈。ETC已经回归了奥地利经济学派的传统，按照比特币的方式进行了了减产的规划，最后总量不会超过2.1亿个。以太坊现价报4717元，跌幅8.23%，以太经典194元，跌幅达9.65%。[12/28/2017 12:00:00 AM]
郑重声明： Vitalik：感到兴奋的AI应用之一是AI辅助的代码形式验证和错误查找版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。