Claude– tag –

Anthropic et son partenaire Theorem ont utilisé Claude pour vérifier formellement 123 bibliothèques open source et généré près de 180 millions de lignes de code de preuve. Nous explorons ce que signifie le passage de l’IA de l’« écriture » à la « preuve », ainsi que les limites de cette évolution.

Le compte officiel de Claude a annoncé l’aperçu de recherche de « Claude Duet », une application agentique proactive. Nous analysons ce que révèlent les quatre principes de conception — signaler les points à surveiller, exécuter les tâches confiées, poursuivre le travail en l’absence de l’utilisateur et demander confirmation avant d’agir en son nom — sur la prochaine génération d’applications d’IA.

Chez Anthropic, la part des profils juniors parmi les nouvelles recrues des équipes techniques est passée de 27 % à 9 %. Les agents IA fonctionnent désormais six fois plus longtemps que les humains dans l’ensemble de l’entreprise. Retour sur les enjeux de formation des talents que soulèvent ces gains d’efficacité.

Selon certaines informations, Claude, l’IA d’Anthropic, a découvert en moins de 30 minutes l’origine de la « graine » d’une courbe elliptique fournie par la NSA. L’essentiel est qu’il ne s’agit pas d’avoir cassé le chiffrement, mais d’avoir éclairci l’historique d’une valeur de configuration. Retour sur la capacité de l’IA à affiner ses hypothèses à partir de biais et sur la portée de ce résultat.

Anthropic explique avoir renforcé ses mesures contre les opérations d’extraction à grande échelle visant le processus de raisonnement de Claude, et avoir réduit le volume extrait de 90 à 99 %. À travers les dispositifs de protection — faux comptes, classificateurs et suspension des comptes —, l’article décrypte un nouveau champ de bataille de la compétition dans l’IA.