熱門話題
#
Bonk 生態迷因幣展現強韌勢頭
#
有消息稱 Pump.fun 計劃 40 億估值發幣,引發市場猜測
#
Solana 新代幣發射平臺 Boop.Fun 風頭正勁
唯一阻止 AI 在審計方面過於出色的是缺乏對 AI 審計領域的投資。
我直接或間接培訓了多名世界級的審計師。
我也玩過圍棋比賽,我知道我做任何接近世界級的事情的機會為零。
競爭性 go 比審計更難,因為入口點和有意義的狀態空間的排列要大得多,也更難推理。
AI 在 2016 年的圍棋比賽中擊敗了人類。
投入20-3000萬美元進行AI審計研發的人會完全顛覆一切。
在美國 web2 漏洞賞金排行榜的頂部是 LLM。
*這樣的 AI 不是一次性的 LLM,而是可以代理編寫單元測試和正式驗證規範以測試其對代碼庫的理解。這消耗的代幣數量將非常昂貴,但可能與現在的審計成本相比具有競爭力。
**AI 永遠不會完全取代審計師,因為他們永遠不會像人類那樣擁有那麼多的背景資訊。但唯一阻止嚴重破壞的是缺乏認真的投資。
如果我看到團隊在審計和機器學習方面有正確的經驗,我會對這樣的項目進行天使投資。

2025年5月9日
What's your hot take about security?
15.08K
熱門
排行
收藏