news

Los LLMs están haciendo que la verificación formal de software sea factible a una escala mucho mayor

180 puntos · 86 comentarios en Hacker News · anthropic.com