热门话题
#
Bonk 生态迷因币展现强韧势头
#
有消息称 Pump.fun 计划 40 亿估值发币,引发市场猜测
#
Solana 新代币发射平台 Boop.Fun 风头正劲
哦,我的天,这个领域发展得多快。
当我三个月前发布这个时,遭遇了很多怀疑。
现在似乎越来越多的人加入了AI审计的行列。
先是少数。
然后一下子全都来了。
这个趋势不会逆转。
我预测——在不到一年的时间里——不进行至少一次AI审计(除了正式验证、常规审计等)将被视为不负责任。

2025年5月10日
阻止AI在审计中表现出色的唯一障碍是对AI审计领域的投资不足。
我曾直接和间接地培训过多位世界级的审计师。
我也曾参与过围棋比赛,并知道自己在任何接近世界级的水平上都没有机会。
与审计相比,竞技围棋更难,因为其入口点的排列组合和有意义的状态空间要大得多,也更难以推理。
AI在2016年击败了人类围棋选手。
如果有人投入2000万到3000万美元用于AI审计研发,情况将完全改变。
美国Web2漏洞赏金排行榜的顶端是一个LLM。
*这样的AI不是一次性LLM,而是能够主动编写单元测试和形式验证规范以测试其对代码库理解的东西。消耗的代币数量将非常昂贵,但可能与目前的审计成本具有竞争力。
**AI永远不会完全取代审计师,因为它们永远不会像人类那样拥有那么多的上下文。但阻止严重颠覆的唯一障碍是缺乏严肃的投资。
如果我看到团队在审计和机器学习方面有正确的经验,我会天使投资这样的项目。
2.89K
热门
排行
收藏