news

LLMs machen formale Softwareverifikation in viel größerem Maßstab machbar

180 Punkte · 86 Kommentare auf Hacker News · anthropic.com