Interest in software verification has surged, with a notable increase in Google Trends searches for formal verification and formal methods over the past two years. Many engineers are now learning Lean and exploring new specification languages, indicating a growing excitement around the topic.

AI agents are increasingly effective at identifying vulnerabilities in large software systems. Anthropic chose not to release the Mythos model due to concerns over its potential to discover dangerous security flaws.