Recent research demonstrates that Claude Code, an agentic system, achieves high success rates in program verification, generating valid specifications for 98.8% of problems. This highlights the need for improved evaluation methodologies in program verification benchmarks, indicating a shift towards more effective agentic proving frameworks in the industry.