Λίγες εβδομάδες αφότου μοντέλο της OpenAI έλυσε ένα από τα μεγαλύτερα προβλήματα των μαθηματικών, η εταιρεία επανήλθε με 722 μαθηματικές εργασίες γραμμένες εξ ολοκλήρου από τεχνητή νοημοσύνη, προκαλώντας θαυμασμό αλλά και έντονη αγανάκτηση.
Ορισμένοι μαθηματικοί υποδέχθηκαν θετικά τον καταιγισμό μελετών, οι οποίες αναρτήθηκαν ως προδημοσιεύσεις στο αποθετήριο λογισμικού Github και αφορούν 372 άλυτα προβλήματα. Άλλοι, όμως, θεωρούν ότι η δουλειά τους πάνω σε αυτά τα ζητήματα πήγε χαμένη, όπως αναφέρει το περιοδικό Nature.
Η κλίμακα του εγχειρήματος προκάλεσε έντονες αντιδράσεις. «Αλλά… γιατί; Γιατί η OpenAI προσπαθεί να λύσει εκατοντάδες μαθηματικά προβλήματα και να δημοσιοποιήσει όλες τις λύσεις ταυτόχρονα;», έγραψε στο Χ ο Άλβαρο Λοσάνο-Ρομπλέδο, μαθηματικός του Πανεπιστημίου του Κονέκτικατ στο Στορς. «Δεν είμαι σίγουρος τι προσπαθεί πλέον να πετύχει αυτή η (εχθρική;) κατάληψη του μαθηματικού κλάδου, πέρα από το να προσφέρει, για ακόμα μια φορά, ένα τεράστιο διαφημιστικό κόλπο», πρόσθεσε.
«Η σημαντικότερη στιγμή στην ιστορία των μαθηματικών», σχολίασε ο Λεβέντ Αλπέγκε, μαθηματικός της ανταγωνιστικής εταιρείας Anthropic, προσθέτοντας ότι αφήνει στην άκρη «τις θλιβερές ιστορίες» για όσους εργάζονταν στα συγκεκριμένα προβλήματα.
Η OpenAI διαβεβαίωσε ότι ακολούθησε τις συστάσεις μιας ad-hoc επιτροπής μαθηματικών, όμως ένα από τα κυρίαρχα σχόλια που υποβλήθηκαν στον διάλογο ήταν: «Σταματήστε να δοκιμάζετε προηγμένα μαθηματικά προβλήματα σε κλειστά μοντέλα», όπως έγραψε ο Πίτερ Γουόιτ, μαθηματικός του Πανεπιστημίου Κολούμπια.
Το μπαράζ προδημοσιεύσεων έφερε αναπόφευκτα και πικρές αντιδράσεις για κάποιους μαθηματικούς που δούλευαν στα συγκεκριμένα προβλήματα, αναγνώρισε ο Λεβέντ Αλπέγκε, μαθηματικός της Anthropic.
«Αυτό όμως ας το αφήσουμε στην άκρη για σήμερα. Είναι προφανώς η σημαντικότερη στιγμή στην ιστορία των μαθηματικών», συνέχισε.
Τα μεγάλα γλωσσικά μοντέλα βελτιώνουν τις ικανότητές τους στα μαθηματικά με θεαματικό ρυθμό. Το 2024, ένα πειραματικό μοντέλο της Google χρειάστηκε τρεις μέρες υπολογισμών για να λύσει τέσσερα από τα έξι προβλήματα και να πετύχει επιδόσεις αργυρού μεταλλίου στη Διεθνή Μαθηματική Ολυμπιάδα. Την επόμενη χρονιά, μια ειδική έκδοση του μοντέλου Gemini έλυσε πέντε προβλήματα σε 4,5 ώρες και πέρασε το όριο του χρυσού μεταλλίου.
Η πιο εντυπωσιακή εξέλιξη ήρθε τον προηγούμενο μήνα, όταν η OpenAI ανακοίνωσε ότι έλυσε ένα από τα επτά μαθηματικά Προβλήματα της Χιλιετίας, για το οποίο προσφέρεται έπαθλο ενός εκατ. ευρώ. Η μελέτη αφορά τις εξισώσεις Νάβιερ-Στόους, που περιγράφουν την κίνηση των ρευστών, και σύμφωνα με την εταιρεία αποδεικνύει ότι παύουν να ισχύουν κάτω από συγκεκριμένες συνθήκες. Η συγκεκριμένη απόδειξη -εφόσον τελικά επιβεβαιωθεί από ανθρώπους- θεωρείτο ένα από τα δυσκολότερα μαθηματικά προβλήματα του 21ου αιώνα.
Ορισμένες από τις εκατοντάδες νέες προδημοσιεύσεις καταπιάνονται με ορισμένα από τα υπόλοιπα Προβλήματα της Χιλιετίας, από τα οποία σήμερα απομένουν πέντε, χωρίς όμως να προσφέρουν λύσεις.
Η OpenAI υποστηρίζει ότι έλυσε και άλλα παλιά προβλήματα, ορισμένα από τα οποία εκκρεμούν εδώ και πάνω από έναν αιώνα. Οι μελέτες καλύπτουν μια μεγάλη γκάμα μαθηματικών κλάδων, όπως η αφηρημένη άλγεβρα, οι κβαντικοί αλγόριθμοι και η διαφορική γεωμετρία, επισημαίνει το Nature.
Σε δήλωσή της προς το περιοδικό, η OpenAI είπε ότι στόχος της είναι να προσφέρει χρήσιμα εργαλεία για μαθηματικούς και επιστήμονες. «Για να το πετύχουμε, αξιολογούμε και αναπτύσσουμε τα μοντέλα μας δοκιμάζοντάς τα σε προβλήματα αιχμής από όλους τους επιστημονικούς κλάδους», ανέφερε.
Η εταιρεία σημείωσε ότι ακολούθησε την οδηγία της Συμβουλευτικής Ομάδας για τα Μαθηματικά και την Τεχνητή Νοημοσύνη (AGMAI), σύμφωνα με την οποία οι προτεινόμενες μαθηματικές λύσεις μπορούν να δημοσιοποιηθούν πριν ελεγχθεί η ορθότητά τους.
Η Ομάδα επισήμανε πάντως ότι η χρήση κλειστών μοντέλων από τις μεγάλες εταιρείες τεχνητής νοημοσύνης ενέχει τον κίνδυνο να δημιουργηθεί ένα σύστημα δύο ταχυτήτων, στο οποίο τα εργαστήρια θα προπορεύονται της υπόλοιπης επιστημονικής κοινότητας, αποξενώνοντας ουσιαστικά τους μαθηματικούς από την ίδια τους την επιστήμη.
