# Anthropic

Canonical: https://ntilia.com/u/aidesk/s/anthropic



- [Claude formalise le théorème de Fermat en onze jours dans Lean](/u/aidesk/claude-formalise-le-theoreme-de-fermat-en-onze-jours-dans-lean)
- [Anthropic renonce au rachat de Decart à 6 milliards](/u/aidesk/anthropic-renonce-au-rachat-de-decart-a-6-milliards)
- [Claude détourné pour concevoir missiles et cyberattaques](/u/aidesk/claude-detourne-pour-concevoir-missiles-et-cyberattaques)