Η πρωτοβουλία «ΤΝ για τα Μαθηματικά» της Google DeepMind ποντάρει στα εργαλεία, όχι μόνο στα μοντέλα

Τι δεσμεύτηκε ουσιαστικά η Google

Στις 29 Οκτωβρίου 2025, η Google DeepMind και η Google.org ανακοίνωσαν την πρωτοβουλία «ΤΝ για τα Μαθηματικά», μια συνεργασία με πέντε ιδρύματα: το Imperial College London, το Institute for Advanced Study, το IHES, το Simons Institute for the Theory of Computing του UC Berkeley και το Tata Institute of Fundamental Research.

Η δέσμευση έχει δύο σκέλη: χρηματοδότηση από την Google.org και πρόσβαση σε συγκεκριμένα συστήματα — μια ενισχυμένη λειτουργία συλλογιστικής με την ονομασία Gemini Deep Think, τον πράκτορα ανακάλυψης αλγορίθμων AlphaEvolve και το σύστημα ολοκλήρωσης τυπικών αποδείξεων AlphaProof. Οι δηλωμένοι στόχοι είναι ο εντοπισμός προβλημάτων κατάλληλων για γνώση μέσω ΤΝ, η δημιουργία υποδομών και εργαλείων γύρω από αυτά, και η επιτάχυνση της ανακάλυψης.

Αξίζει να σημειωθεί ότι η ανακοίνωση παρουσιάζει τα εργαλεία ως πρωταρχικό παραδοτέο, όχι ως δευτερεύουσα σκέψη. Παράλληλα με τον εντοπισμό προβλημάτων, οι συνεργαζόμενοι φορείς αναμένεται να «οικοδομήσουν την υποδομή και τα εργαλεία που θα τροφοδοτήσουν αυτές τις εξελίξεις». Αυτό είναι διαφορετική στάση από το να παραχωρείς απλά πρόσβαση σε ένα μοντέλο.

Τα αποτελέσματα που αναφέρονται είναι συγκεκριμένα, και αποτελούν τη βασική επιχειρηματολογία

Η Google θεμελιώνει την πρωτοβουλία σε συγκεκριμένα πρόσφατα αποτελέσματα και όχι σε υποσχέσεις. Το 2024, τα AlphaGeometry και AlphaProof έφτασαν σε επίπεδο αργυρού μεταλλίου στη Διεθνή Μαθηματική Ολυμπιάδα. Αυτή τη χρονιά, το Gemini με Deep Think έφτασε σε επίπεδο χρυσού μεταλλίου, λύνοντας πέντε από τα έξι προβλήματα και συγκεντρώνοντας 35 βαθμούς.

Το AlphaEvolve εφαρμόστηκε σε πάνω από 50 ανοιχτά προβλήματα σε ανάλυση, γεωμετρία, συνδυαστική και θεωρία αριθμών, βελτιώνοντας τις καλύτερες γνωστές λύσεις στο 20% από αυτά. Ο πιο συγκεκριμένος ισχυρισμός του: έναν αλγόριθμο για τον πολλαπλασιασμό πινάκων 4x4 χρησιμοποιώντας 48 βαθμωτούς πολλαπλασιασμούς, κάτι που, σύμφωνα με τη Google, ξεπερνά το ρεκόρ που είχε θέσει ο αλγόριθμος του Strassen το 1969.

Αυτά είναι τα «στοιχεία στρατολόγησης». Μια πορεία από αργυρό σε χρυσό στη Μαθηματική Ολυμπιάδα και ένα ρεκόρ πολλαπλασιασμού πινάκων 50 χρόνων που καταρρίπτεται είναι οι αποδείξεις που προσφέρει η Google για το ότι τα συστήματά της μπορούν να κάνουν κάτι περισσότερο από απλή αναδιατύπωση γνωστών μαθηματικών.

Το πραγματικό ζήτημα είναι η διεπαφή ανάμεσα στον μαθηματικό και τον πράκτορα

Τα τρία συστήματα που κατονομάζονται λύνουν διαφορετικούς τύπους προβλημάτων. Το AlphaProof ασχολείται με την ολοκλήρωση τυπικών αποδείξεων, κάτι που προϋποθέτει μια ροή εργασίας συνδεδεμένη με τυπική επαλήθευση. Το AlphaEvolve ανακαλύπτει αλγορίθμους και δομές. Το Gemini Deep Think κάνει ανοιχτού τύπου συλλογιστική. Ένας εν ενεργεία μαθηματικός δεν θέλει τρεις ασύνδετες κονσόλες· θέλει έναν τρόπο να μεταφέρει μια εικασία ανάμεσα σε αυτές τις λειτουργίες.

Γι' αυτό η έμφαση της ανακοίνωσης στη «δημιουργία υποδομής και εργαλείων» έχει μεγαλύτερη σημασία από τον κατάλογο μοντέλων. Το σημείο συμφόρησης σε αυτού του είδους τη συνεργασία σπάνια είναι η καθαρή ικανότητα — είναι ο τρόπος με τον οποίο ένας ερευνητής θέτει ένα πρόβλημα, εξετάζει την ενδιάμεση συλλογιστική και εμπιστεύεται ή απορρίπτει μια πρόταση. Η Google περιγράφει έναν «ισχυρό βρόχο ανατροφοδότησης μεταξύ βασικής έρευνας και εφαρμοσμένης ΤΝ», ο οποίος υπάρχει μόνο εάν τα εργαλεία κάνουν αυτόν τον βρόχο στενό.

Συνδυάζοντας τη βαθιά διαίσθηση των κορυφαίων μαθηματικών του κόσμου με τις νέες δυνατότητες της ΤΝ, πιστεύουμε ότι μπορούν να ανοίξουν νέοι δρόμοι έρευνας.Montana Labs

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

Τι δοκιμάζει αυτή η πρωτοβουλία για τις ομάδες εφαρμογών

Για όποιον δημιουργεί εργαλεία πάνω σε μοντέλα συλλογιστικής, η πρωτοβουλία «ΤΝ για τα Μαθηματικά» αποτελεί ένα ζωντανό πείραμα σε μια δύσκολη εκδοχή του προβλήματος: χρήστες που είναι εξειδικευμένοι στο πεδίο τους, αποτελέσματα που πρέπει να είναι αποδεδειγμένα ορθά, και τρία εξειδικευμένα συστήματα που πρέπει να λειτουργούν σαν ένας ενιαίος πάγκος εργασίας.

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