news

Les LLMs rendent la vérification formelle de logiciels réalisable à une échelle bien plus grande

180 points · 86 commentaires sur Hacker News · anthropic.com