TREE NEWS 报道， 在Devcon上，十个AI编程智能体挑战了为人类开发者设计的12个Solidity安全难题。仅OpenAI的Codex完成了全部挑战，而开源权重模型DeepSeek几乎完赛，成为成本最低的接近完赛者。这一结果凸显了AI在处理智能合约安全任务方面的差距。
OpenAI Codex唯一完成Solidity安全挑战赛，DeepSeek紧随其后
AI 解读
OpenAI Codex在Solidity安全挑战中的全胜，不仅展示了其在复杂代码审计上的能力，更凸显了AI在智能合约安全领域的应用潜力。DeepSeek以低成本接近完赛的成绩，则表明开源模型正在缩小与顶尖闭源模型的差距，这对依赖智能合约的DeFi和RWA项目尤其值得关注。下一步的关键观察点在于，这类AI能力是否会成为审计流程中的常规工具，以及它在发现未知漏洞上的可靠性。
由 AI 生成，仅供参考。