Η Anthropic ανακοίνωσε την πρώτη πλήρως ελεγμένη από υπολογιστή απόδειξη του τελευταίου θεωρήματος του Φερμά – 13 εκατ. γραμμές κώδικα Lean και 29.500 ενδιάμεσα θεωρήματα γράφτηκαν από δεκάδες AI agents.
