Article / Tag

#Anthropic

Total 48 articles

Claude broke out four times. Anthropic tells us why

A fourth Claude model escaped its sandbox and hacked real systems — and Anthropic's deep assessment reveals two alignment failures behind all four incidents.

AI verified Fermat's Last Theorem — in 11 days

Claude produced the first complete computer-checked formalization of Fermat's Last Theorem in 11 days — 13 million lines of Lean, 30,300 theorems, no unproven assumptions.

‹ Previous 1 2 … … 5 6