Anthropic utilise Claude pour générer des preuves formelles
Pour commencer
Le 23 octobre 2026, The Decoder rapporte que l'équipe Frontier Red Team d'Anthropic, avec le partenaire Theorem, a utilisé Claude pour générer environ 180 millions de lignes de code de preuve mathématique en quelques semaines, afin de vérifier la sécurité du code. Aucun autre reportage de suivi sur ce fait n'est disponible ; l'avancement ultérieur n'est pas documenté.
AI Généré à partir des reportages · 3 hmise à jour
Chronologie des reportages
Suivez les reportages pour découvrir les différentes facettes de l'événement.
- The DecodersélectionAnthropic utilise Claude pour générer des preuves formelles et vérifier la sécurité du code
L'équipe Frontier Red Team d'Anthropic, avec le partenaire Theorem, a utilisé Claude pour générer environ 180 millions de lignes de code de preuve mathématique en quelques semaines.
Évolution des tendances de cet événement
Pas encore assez de données d'observation continues pour tracer une tendance.