Φερμάς

Η Anthropic τυποποίησε την απόδειξη του Φερμά με AI σε 11 ημέρες

Η εταιρεία τεχνητής νοημοσύνης Anthropic δημιούργησε μια τυποποιημένη απόδειξη του τελευταίου θεωρήματος του Φερμά. Μια ομάδα AI agents χρειάστηκε μόλις 11 ημέρες για να ολοκληρώσει την εργασία, επιβεβαιώνοντας ότι η απόδειξη που…