Anthropic usa a Claude para demostrar matemáticamente que el código es seguro
El Frontier Red Team de Anthropic, junto a Theorem, logró que Claude genere pruebas matemáticas de corrección de software de forma casi autónoma: 180 millones de líneas de prueba en semanas y cientos de bugs reales encontrados.
Equipo Aitualizate