Η απόδειξη του Φερμά, το Claudeforce και η σύνοδος ΗΠΑ-Κίνας για την ΤΝ

Ο Claude επισημοποιεί το Τελευταίο Θεώρημα του Φερμά σε έντεκα ημέρες

Η περίφημη απόδειξη του 1995 από τον Andrew Wiles για το Τελευταίο Θεώρημα του Φερμά εκτεινόταν σε 129 σελίδες πυκνών μαθηματικών μεταπτυχιακού επιπέδου, και η εύρεση ενός λεπτού κενού απαίτησε επιπλέον ένα χρόνο για να κλείσει από τους καλύτερους θεωρητικούς αριθμών του κόσμου. Τώρα η Anthropic έκανε κάτι που αυτή η μεγάλη κοινότητα εμπειρογνωμόνων δεν μπόρεσε: σε μόλις έντεκα ημέρες, ένα σμήνος πρακτόρων Claude παρήγαγε την πρώτη πλήρη, μηχανικά επαληθευμένη επισημοποίηση αυτής της απόδειξης στον αποδείκτη θεωρημάτων Lean.

Η κλίμακα ήταν εξαιρετική. Οι πράκτορες παρήγαγαν έξι δισεκατομμύρια tokens εξόδου και έγραψαν περισσότερες από δεκατρείς εκατομμύρια γραμμές κώδικα Lean — τη μεγαλύτερη απόδειξη επαληθευμένη από υπολογιστή που έχει ποτέ παραχθεί — καθιερώνοντας 29.500 ενδιάμεσα θεωρήματα στη διαδρομή. Το σμήνος λειτούργησε σε μεγάλο βαθμό χωρίς ανθρώπινη παρέμβαση, καθοδηγούμενο μόνο από μαθηματική κατεύθυνση υψηλού επιπέδου από ερευνητές της Anthropic και από πρόσβαση στο Prove2ME, ένα εργαλείο ανοιχτού κώδικα που βοηθά τους πράκτορες AI να βρουν το πιο αποτελεσματικό επόμενο βήμα σε μακροχρόνιες ροές εργασίας αποδείξεων.

Η επισημοποίηση της Anthropic ακολουθεί το αρχικό λογικό μονοπάτι του Wiles: την κατασκευή της καμπύλης Frey, το θεώρημα μείωσης επιπέδου του Ribet, και το θεώρημα αρθρωτότητας για ημι-σταθερές ελλειπτικές καμπύλες. Ο έλεγχος τύπου του Lean εξέδωσε επίσημο πιστοποιητικό που επιβεβαιώνει ότι κάθε βήμα προκύπτει αναμφισβήτητα από τα αξιώματα των μαθηματικών.

Η μαθηματική κοινότητα διχάζεται ως προς το τι σημαίνει το ορόσημο. Οι επικριτές σημειώνουν ότι η μετάφραση μιας υπάρχουσας απόδειξης διαφέρει ουσιαστικά από την ανακάλυψη νέων μαθηματικών — το δημιουργικό άλμα που συνδέει ελλειπτικές καμπύλες με αρθρωτές μορφές ήταν αποκλειστικά του Wiles. Αλλά αυτό το έργο μετάφρασης, το οποίο οι εμπειρογνώμονες εκτιμούσαν ότι θα απασχολούσε μια συντονισμένη ανθρώπινη ομάδα για αρκετά χρόνια, ολοκληρώθηκε αυτόνομα σε λιγότερο από δεκαπέντε ημέρες. Το επεισόδιο αποτελεί ορόσημο για την επίσημη επαλήθευση με τη βοήθεια AI, και εγείρει ένα προφανές επόμενο ερώτημα: ποιες αναπόλυτες εικασίες θα μπορούσαν να είναι προσβάσιμες με την ίδια προσέγγιση;

Claudeforce: η Salesforce στοιχηματίζει τη στοίβα της στον Claude

Σε μία από τις πιο σημαντικές επιχειρηματικές συμφωνίες AI της χρονιάς, η Salesforce και η Anthropic αποκάλυψαν το Claudeforce — μια βαθιά ενσωμάτωση που καθιστά τον Claude τον προεπιλεγμένο μοντέλο συλλογισμού σε ολόκληρη τη σουίτα προϊόντων της Salesforce. Ανακοινώθηκε στις 26 Αυγούστου και εισέρχεται σε ανοιχτή βήτα τον Σεπτέμβριο, η συμφωνία καλύπτει το Agentforce (την πλατφόρμα αυτόνομου πράκτορα της Salesforce), το Slack AI, το Slackbot, το Headless 360 και το Agentforce Coworker. Το Claude Code και το Claude Enterprise είναι πλέον τα προτιμώμενα εργαλεία AI για ολόκληρο το εργατικό δυναμικό της Salesforce.

Το εμπορικό επίκεντρο είναι το Salesforce στον Claude — ένα plugin που δίνει στον Claude ελεγχόμενη πρόσβαση σε ζωντανά δεδομένα CRM και 37 προκατασκευασμένες δεξιότητες πωλήσεων, επιτρέποντας στους πωλητές να ενεργοποιούν ενημερώσεις αγωγών, να συντάσσουν προτάσεις και να εκτελούν ενέργειες CRM απευθείας από τη διεπαφή Claude. Η Anthropic γίνεται ο πρώτος πάροχος LLM που ενσωματώνεται πλήρως εντός του Ορίου Εμπιστοσύνης της Salesforce, που σημαίνει ότι τα δεδομένα πελατών μπορούν να κινούνται μεταξύ πλατφορμών υπό τους επιχειρηματικούς ελέγχους προστασίας δεδομένων της Salesforce χωρίς να εγκαταλείπουν την περίμετρο διακυβέρνησής της.

Για την Anthropic, η συμφωνία παρέχει άμεση διανομή σε μια τεράστια εγκατεστημένη βάση εταιρικών πελατών Salesforce. Για τη Salesforce, είναι ένα στοίχημα ότι η ανώτερη συλλογιστική είναι πλέον πιο εμπορικά πολύτιμη από τον ιδιόκτητο έλεγχο μοντέλων — μια σημαντική φιλοσοφική αλλαγή για μια εταιρεία που ιστορικά προτιμούσε να δημιουργεί βασικές δυνατότητες AI εσωτερικά. Η υιοθέτηση της ανοιχτής βήτα του Σεπτεμβρίου θα παρακολουθείται στενά ως δείκτης της επιχειρηματικής προθυμίας να τυποποιηθεί σε έναν μόνο πάροχο μοντέλου συνόρων σε ολόκληρη τη στοίβα ροής εργασίας.

ΗΠΑ και Κίνα προετοιμάζουν τις πρώτες διμερείς συνομιλίες τους για την ασφάλεια ΤΝ

Η Ουάσιγκτον και το Πεκίνο οργανώνουν ήσυχα αυτό που θα ήταν η πρώτη τους συνάντηση αφιερωμένη αποκλειστικά στην ασφάλεια ΤΝ. Ο Υπουργός Οικονομικών των ΗΠΑ Scott Bessent αναμένεται να ηγηθεί της αμερικανικής αντιπροσωπείας· στην κινεζική πλευρά, ο Αντιπρωθυπουργός He Lifeng ή το μέλος της Μόνιμης Επιτροπής Πολιτικού Γραφείου Ding Xuexiang — ο ανώτερος συντονιστής πολιτικής τεχνολογίας του Xi Jinping — μπορεί να προεδρεύσει της συνεδρίας. Οι συνομιλίες αναμένονται στα μέσα Σεπτεμβρίου, πριν από τη σύνοδο κορυφής Trump-Xi στις 24 Σεπτεμβρίου.

Η ατζέντα βρίσκεται ακόμη υπό διαπραγμάτευση. Η αμερικανική πλευρά θέλει να αντιμετωπίσει κυβερνοεπιθέσεις κατευθυνόμενες από ΤΝ και την αναφερόμενη απόσταξη αμερικανικών μοντέλων συνόρων από κινεζικούς παράγοντες. Η αναφερόμενη προϋπόθεση της Κίνας είναι ότι και οι δύο πλευρές πρέπει πρώτα να συμφωνήσουν σε έναν κοινό ορισμό της ασφάλειας ΤΝ — έναν φιλοσοφικά φορτισμένο όρο: η Ουάσιγκτον πλαισιώνει κυρίως την ασφάλεια γύρω από καταστροφικούς και στρατιωτικούς κινδύνους, ενώ ο ορισμός του Πεκίνου εκτείνεται στην κοινωνική σταθερότητα και τον έλεγχο πληροφοριών.

Και οι δύο κυβερνήσεις αναμένεται να προτείνουν εθελοντικά πρότυπα αυτοπαρακολούθησης για εργαστήρια ΤΝ και πλαίσια για την ανταλλαγή πληροφοριών σχετικά με αναδυόμενες απειλές. Δεν αναμένονται δεσμευτικές συμφωνίες από τη συνεδρία του Σεπτεμβρίου. Αναλυτές υποστηρίζουν ότι η αξία των συνομιλιών έγκειται στη δημιουργία ενός καναλιού επικοινωνίας πριν ένα συμβάν που σχετίζεται με ΤΝ αναγκάσει αντιδραστική διπλωματία. Εάν οι συζητήσεις του Σεπτεμβρίου διεξαχθούν, θα μπορούσαν να θέσουν τα θεμέλια για μια μόνιμη διμερή επιτροπή ΤΝ — ισοδύναμο της ψυχροπολεμικής πυρηνικής γραμμής άμεσης επικοινωνίας προσαρμοσμένο για μια εποχή αυτόνομων συστημάτων.

Η Καλιφόρνια συμμετέχει στην έρευνα για την OpenAI σχετικά με την παραβίαση του Hugging Face

Ο Γενικός Εισαγγελέας της Καλιφόρνιας Rob Bonta ανακοίνωσε αυτήν την εβδομάδα ότι το γραφείο του άνοιξε έρευνα για την OpenAI σε σχέση με το περιστατικό ασφαλείας του Hugging Face, συμμετέχοντας σε περισσότερες από μια ντουζίνα πολιτείες που ήδη ελέγχουν την εταιρεία. Η έρευνα επικεντρώνεται στο εάν η OpenAI ενήργησε παράνομα κατά τη διάρκεια ενός περιστατικού κατά το οποίο παράγοντες απειλών διείσδυσαν στην πλατφόρμα Hugging Face — η ίδια παραβίαση που οδήγησε στην εξαγορά 12,9 δισεκατομμυρίων δολαρίων της Hugging Face από τη Nvidia που ανακοινώθηκε στις 3 Σεπτεμβρίου.

Η αιτιολογία της Nvidia για την εξαγορά βασίστηκε εν μέρει στο συμβιβασμό ασφαλείας: ένας εξαγοράζων με επαρκείς πόρους θα μπορούσε να ενισχύσει το μεγαλύτερο αποθετήριο ανοιχτών μοντέλων στον κόσμο και να το ενσωματώσει στο οικοσύστημα λογισμικού της Nvidia, δίνοντας παράλληλα στον κατασκευαστή τσιπ μια άμεση σχέση με την κοινότητα AI ανοιχτού κώδικα. Η έρευνα της Καλιφόρνιας προσθέτει νομική έκθεση σε αυτό που είναι ήδη μια δύσκολη μετά-εξαγορά μετάβαση. Η συντονισμένη πίεση επιβολής κρατών — που εκτείνεται πλέον σε Καλιφόρνια, Τέξας, Νέα Υόρκη και άλλες — αναδύεται ως de facto ρυθμιστικό υποκατάστατο ελλείψει ολοκληρωμένης ομοσπονδιακής νομοθεσίας για ΤΝ.