Οι ερευνητές της Google ανέπτυξαν τη δεύτερη γενιά του μαθηματικού τους συστήματος τεχνητής νοημοσύνης, το οποίο συνδυάζει ένα μοντέλο γλώσσας με μια συμβολική μηχανή για να λύσει σύνθετα προβλήματα γεωμετρίας.
Πιο συγκεκριμένα το σύστημα αυτό, το οποίο ονομάζεται “AlphaGeometry2” (AG2), είναι ένα προηγμένο πλαίσιο τεχνητής νοημοσύνης ικανό να λύσει το 84% των προβλημάτων γεωμετρίας που τέθηκαν στη Διεθνή Μαθηματική Ολυμπιάδα (IMO). Οι μέσοι νικητές των χρυσών μεταλλίων του ΙΜΟ έλυσαν το 81,8% των προβλημάτων της Ολυμπιάδας. Το σύστημα αυτό σύμφωνα με τους επιστήμονες μπορεί να συμμετάσχει όχι μόνο στην αντιστοίχιση προτύπων αλλά και στη δημιουργική επίλυση προβλημάτων. Περιέγραψαν τα ευρήματά τους σε μια μελέτη που ανέβηκε στη βάση δεδομένων προεκτύπωσης arXiv.
Η ανακοίνωση της Google έρχεται ένα μήνα αφότου η Microsoft κυκλοφόρησε το δικό της προηγμένο σύστημα μαθηματικών συλλογισμών με τεχνητή νοημοσύνη, το rStar-Math , το οποίο χρησιμοποιεί μοντέλα μικρών γλωσσών (SML) για την επίλυση σύνθετων εξισώσεων. Το AG2 διαφέρει από το rStar-Math της Microsoft στο ότι εστιάζει στην επίλυση προηγμένων προβλημάτων με ένα υβριδικό μοντέλο συλλογισμού, ενώ το r-Star χρησιμοποιεί μικρότερα μοντέλα γλώσσας για την επίλυση ευρύτερου φάσματος προβλημάτων.
Η Google κυκλοφόρησε την αρχική έκδοση του AlphaGeometry τον Ιανουάριο του 2024 και η τελευταία του έκδοση δείχνει αύξηση απόδοσης κατά 30% σε σχέση με προηγούμενες προσπάθειες. Οι βελτιώσεις στο AG2 επικεντρώνονται στην κυριαρχία της γεωμετρίας, η οποία απαιτεί ένα μείγμα οπτικής συλλογιστικής και λογικής για την επίλυση πολύπλοκων προβλημάτων. Οι ειδικοί όμως προειδοποιούν να μην θεωρηθεί αυτό το ορόσημο ως επίτευξη τεχνητής γενικής νοημοσύνης (AGI).
Η σημαντική ανακάλυψη της DeepMind είναι ο επιτυχημένος συνδυασμός μοντέλων νευρωνικής γλώσσας και συμβολικών μηχανών. Το σύστημα διαθέτει επίσης έναν μοναδικό αλγόριθμο για την αναζήτηση και την εύρεση γεωμετρικών αποδείξεων. Οι ερευνητές του DeepMind παρατήρησαν ότι τα μειονεκτήματα του AG2 έγκεινται στον μεγαλύτερο χρόνο επεξεργασίας του και ότι δεν μπορεί να χειριστεί τα πιο δύσκολα προβλήματα γεωμετρίας του ΙΜΟ σε τρισδιάστατη γεωμετρία, μη γραμμικές εξισώσεις ή προβλήματα με μεταβλητά σημεία. Το σχέδιο είναι το AG2 να προσφέρει πλήρη αυτοματοποίηση της επίλυσης προβλημάτων γεωμετρίας χωρίς σφάλματα, σύμφωνα με τους επιστήμονες.
Πηγή: Techmaniacs
