LLMs are making formal software verification feasible at a much larger scaleanthropic.com
347 points by johnbender 11 hours ago | 203 comments