news

LLMs are making formal software verification feasible at a much larger scale

180 points · 86 comments on Hacker News · anthropic.com