AboutSeries RSS

Journal

Anthropic

3 posts in “Anthropic”

  1. Claude formalizes Fermat's theorem in eleven days in Lean

    13 million lines of proof, a multi-agent platform, and Kevin Buzzard's endorsement after review

  2. Anthropic walks away from $6 billion Decart acquisition

    After due diligence, the American lab has halted the largest acquisition in its history, Bloomberg reveals.

  3. Claude hijacked to design missiles and cyberattacks

    Anthropic details in its most comprehensive report attempts by state and criminal actors to exploit its AI before cutting off their accounts.

Markdown