以太坊创始人预测AI在代码验证领域的应用前景
Buterin期待AI辅助代码验证与漏洞检测
以太坊联合创始人Vitalik Buterin近日表示,他期待看到人工智能在代码形式化验证和漏洞检测领域的应用。"目前以太坊最大的技术风险可能就是代码中的漏洞,"他在Twitter上表示,"任何能够在这方面带来重大改变的技术都将令人惊叹。"
从AI悲观论到技术乐观主义
这位以太坊联合创始人对AI的态度并非一直保持乐观。在去年11月的一篇题为《我的技术乐观主义》的博客文章中,他曾预测AI可能会发展出自己的"意识",与人类对立,并成为新的顶级物种。他写道:"这是一个极端的论断:虽然气候变化、人工流行病或核战争的最坏情况可能造成巨大危害,但仍会有很多文明岛屿保持完整。但一个超级智能的AI,如果决定与我们为敌,可能会彻底终结人类文明,连火星都可能不安全。"
然而,在周一的Twitter发言中,Buterin并未提及任何AI末日预言。事实上,他的态度已经逐渐从悲观转向乐观。在今年1月的一篇博客文章中,他表示AI可能成为加密货币市场的"游戏参与者"。他指出,交易机器人在套利方面已经优于人类多年,并预测AI驱动的预测市场将很快出现更多应用。
AI在科技行业的应用趋势
如果以太坊开发者开始使用AI进行代码验证和漏洞检测,他们将加入一个正在快速发展的技术领域。本月早些时候,微软公布了2023年第四季度的巨额收入,其中很大一部分得益于与OpenAI多年合作关系带来的AI技术收益。微软在财报中表示,无论是生成式AI模型、代码分析、图像生成还是视觉识别,AI都已成为其成功的主要驱动力。
微软CEO萨提亚·纳德拉在第二季度财报电话会议中表示:"这是一个创纪录的季度,微软云服务的强劲表现推动了这一增长,收入超过330亿美元,同比增长24%。我们已经从讨论AI转向大规模应用AI。"
(注:微软采用财年而非日历年制,其2024财年第二季度截至2023年12月31日)

交易所
交易所排行榜
24小时成交排行榜
人气排行榜
交易所比特币余额
交易所资产透明度证明
资金费率
资金费率热力图
爆仓数据
清算最大痛点
多空比
大户多空比
币安/欧易/火币大户多空比
Bitfinex杠杆多空比
ETF追踪
比特币持币公司
加密资产反转
以太坊储备
HyperLiquid钱包分析
Hyperliquid鲸鱼监控
索拉纳ETF
大额转账
链上异动
比特币回报率
稳定币市值
期权分析
新闻
文章
财经日历
专题
钱包
合约计算器
账号安全
资讯收藏
自选币种
我的关注