Τριάντα από τους πιο γνωστούς μαθηματικούς στον κόσμο ταξίδεψαν στο Μπέρκλι της Καλιφόρνια όπου σε μια συνάντηση που έμεινε μακριά από τα φώτα της δημοσιότητας αντιμετώπισαν ένα chatbot σχεδιασμένο να λύνει δύσκολα μαθηματικά προβλήματα που είχαν φτιάξει οι ίδιοι για να το δοκιμάσουν.
Μετά από δύο μέρες γεμάτες δύσκολες ερωτήσεις πανεπιστημιακού επιπέδου, οι ερευνητές έμειναν άφωνοι: το chatbot κατάφερε να λύσει μερικά από τα πιο δύσκολα προβλήματα που μπορούν να λυθούν. «Έχω συναδέλφους που είπαν κυριολεκτικά ότι αυτά τα μοντέλα πλησιάζουν μαθηματική ιδιοφυΐα», λέει ο Κεν Όνο μαθηματικός στο Πανεπιστήμιο της Βιρτζίνια και ένας από τους διοργανωτές.
Το chatbot αυτό βασίζεται στο o4-mini, ένα νέο είδος μεγάλου γλωσσικού μοντέλου (LLM) που έχει σχεδιαστεί για να κάνει πολύπλοκες λογικές σκέψεις. Ένα παρόμοιο μοντέλο της Google, το Gemini 2.5 Flash, έχει αντίστοιχες ικανότητες. Όπως και τα παλιότερα μοντέλα του ChatGPT, το o4-mini έχει μάθει να προβλέπει την επόμενη λέξη σε μια πρόταση. Όμως, σε αντίθεση με τα παλιότερα, είναι πιο ελαφρύ και πιο έξυπνα εκπαιδευμένο, χρησιμοποιώντας ειδικά δεδομένα και περισσότερη βοήθεια από ανθρώπους. Αυτό το κάνει ικανό να λύνει πολύ πιο δύσκολα μαθηματικά προβλήματα.
Για να παρακολουθήσει πόσο καλό είναι το o4-mini, η OpenAI ανέθεσε σε έναν ανεξάρτητο οργανισμό, την Epoch AI, να δημιουργήσει 300 μαθηματικά προβλήματα που δεν είχαν δημοσιευθεί πουθενά. Αν και τα κλασικά LLMs μπορούν να απαντήσουν σε μερικά δύσκολα προβλήματα, όταν τους δόθηκαν αυτά τα νέα ερωτήματα, τα περισσότερα απέτυχαν: μόνο λιγότερο από το 2% βρήκαν τη σωστή απάντηση. Αυτό έδειξε ότι τους λείπει η ικανότητα να σκέφτονται λογικά. Όμως το o4-mini ήταν εντελώς διαφορετικό και εντυπωσιακά ικανό.
Προς το τέλος της συνάντησης, η ομάδα άρχισε να σκέφτεται πώς μπορεί να είναι το μέλλον για τους μαθηματικούς. Η συζήτηση στράφηκε στο αναπόφευκτο «πέμπτο επίπεδο» δηλαδή τα προβλήματα που ούτε οι καλύτεροι μαθηματικοί δεν μπορούν να λύσουν. Αν η τεχνητή νοημοσύνη φτάσει σε αυτό το επίπεδο, ο ρόλος των μαθηματικών θα αλλάξει δραστικά. Για παράδειγμα, οι μαθηματικοί ίσως αρχίσουν να ασχολούνται κυρίως με το να θέτουν ερωτήματα και να συνεργάζονται με «bots συλλογισμού» για να ανακαλύπτουν νέες μαθηματικές αλήθειες όπως κάνει ένας καθηγητής με τους μεταπτυχιακούς του φοιτητές. Ο Κεν Όνο πιστεύει ότι η ενίσχυση της δημιουργικότητας στην ανώτατη εκπαίδευση θα είναι βασική για να συνεχίσει η μαθηματική πρόοδος και στις επόμενες γενιές.
«Λέω στους συναδέλφους μου ότι είναι σοβαρό λάθος να πιστεύουμε πως η γενική τεχνητή νοημοσύνη δεν πρόκειται ποτέ να έρθει ή ότι είναι «απλώς ένας υπολογιστής. Δεν θέλω να προκαλέσω πανικό, αλλά με έναν τρόπο, αυτά τα μεγάλα γλωσσικά μοντέλα ήδη ξεπερνούν τους περισσότερους από τους καλύτερους μεταπτυχιακούς φοιτητές στον κόσμο» λέει ο Όνο.
Πηγή: Naftemporiki.gr
