Anthropic AI, Fermat'nın Son Teoremi'ni 11 Günde Formelleştirdi · Recap