news

Os LLMs estão tornando a verificação formal de software viável em uma escala muito maior

180 pontos · 86 comentários no Hacker News · anthropic.com