Anthropic

1. Claude formalise le théorème de Fermat en onze jours dans Lean

   13 millions de lignes de preuve, une plateforme multi-agents et l'aval de Kevin Buzzard après relecture

   5 sept. 2026 · 23:05

2. 

   Anthropic renonce au rachat de Decart à 6 milliards

   Après due diligence, le laboratoire américain a stoppé la plus grosse acquisition de son histoire, révèle Bloomberg.

   8 sept. 2026 · 20:27

3. 

   Claude détourné pour concevoir missiles et cyberattaques

   Anthropic détaille dans son rapport le plus complet des tentatives d'acteurs étatiques et criminels d'exploiter son IA avant de couper leurs comptes.

   12 sept. 2026 · 18:33

Markdown