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

2025年5月9日
你对安全性的独到见解是什么?
15.08K
热门
排行
收藏