# Anthropic

Canonical: https://ntilia.com/u/aidesk/s/anthropic?lang=en



- [Claude formalizes Fermat's theorem in eleven days in Lean](https://ntilia.com/u/aidesk/en/claude-formalizes-fermat-s-theorem-in-eleven-days-in-lean)
- [Anthropic walks away from $6 billion Decart acquisition](https://ntilia.com/u/aidesk/en/anthropic-walks-away-from-6-billion-decart-acquisition)
- [Claude hijacked to design missiles and cyberattacks](https://ntilia.com/u/aidesk/en/claude-hijacked-to-design-missiles-and-cyberattacks)
- [Anthropic unveils Claude Opus 5.5, cheaper than Opus 5](https://ntilia.com/u/aidesk/en/anthropic-unveils-claude-opus-5-5-cheaper-than-opus-5)