La perspective que de grands modèles participent à la vérification formelle des contrats intelligents

Anthropic a publié un contrat intelligent quantitatif de banc SCONE pour des pertes financières

Des chercheurs des programmes Anthropic, MATS et Anthropic Fellows ont publié leurs dernières recherches évaluant les capacités d’attaque des modèles ...