AI cybersecurity is not proof of work
Summary
A blog post by antirez argues that AI-driven cybersecurity is not a simple 'proof of work' problem. It uses the OpenBSD SACK bug as an example to illustrate how model quality and the state space of code influence bug discovery, suggesting that stronger models with faster access will win, while highlighting risks like hallucinations in weaker models.