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