Commits on GitHub have doubled in four months. Verification capacity has not.

I have been waiting for agent-generated code to show up in public infrastructure data rather than in vendor benchmarks. The accelerating pace of code commits, particularly with the potential influence of AI-generated code, is creating a bottleneck in software verification processes.

https://meta-news.info/ver/commits-on-github-have-doubled-in-four-months-verification-capacity-has-not