IA e os Problemas Difíceis do Mundo · Ciência da computação teórica · Anthropic · 2026-10-22
LLMs estão tornando viável a verificação formal de software em escala muito maior
Título original: LLMs are making formal software verification feasible at a much larger scale
O Claude provou formalmente propriedades de segurança no código compilado de 123 bibliotecas de código aberto, trabalhando no nível de assembly RISC-V. Ao escrever as provas, ele também encontrou bugs que passaram despercebidos por anos, apesar de testes extensivos.