Claude 11 nap alatt bezárta a Fermat: 13,4 millió Lean sor és nulla „ez nyilvánvaló”
Az Anthropic bejelentette Fermat utolsó tételének első teljes, számítógéppel ellenőrzött bizonyítását: Claude 11 nap alatt karcsúsá változtatta Wiles bizonyítását – 13,4 millió sor, 29 500 tétel, három axióma.