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