Anthropic y la startup Theorem dijeron esta semana que Claude escribió pruebas verificables para 123 bibliotecas abiertas. Ninguna entrada de menos de 64 megabytes causa errores de memoria, y Claude arregló cientos de fallos. Parte está en GitHub, y Theorem ofrece aplicar el proceso a otros proyectos.