Νέο, αδιάθετο ακόμη μοντέλο τεχνητής νοημοσύνης της Anthropic κατάφερε να σημειώσει σημαντική πρόοδο σε ένα από τα μεγαλύτερα άλυτα μαθηματικά προβλήματα των τελευταίων 150 και πλέον ετών, την περίφημη υπόθεση Riemann. Η εξέλιξη αυτή επαναφέρει στο προσκήνιο τη συζήτηση σχετικά με τις δυνατότητες των γλωσσικών μοντέλων να συνεισφέρουν ουσιαστικά στην επιστημονική και μαθηματική έρευνα.
Το επίτευγμα αυτό πραγματοποιήθηκε με ελάχιστη ανθρώπινη καθοδήγηση από εργαζόμενο της εταιρείας που δεν διέθετε εξειδικευμένο μαθηματικό υπόβαθρο. Το σύστημα λειτούργησε αυτόνομα επί μιάμιση μέρα, αξιοποιώντας δεκάδες υποπράκτορες για να εξετάσει εκατοντάδες διαφορετικές προσεγγίσεις, καταλήγοντας σε επαληθευμένα αποτελέσματα που επιβεβαιώθηκαν και από εσωτερικούς μαθηματικούς της εταιρείας.
Παρά τον ενθουσιασμό για τις νέες δυνατότητες των αλγορίθμων, η αυξανόμενη εμπλοκή της τεχνητής νοημοσύνης στα μαθηματικά εγείρει προβληματισμούς στην ακαδημαϊκή κοινότητα. Πολλοί επιστήμονες εκφράζουν ανησυχίες για την αλλοίωση των παραδοσιακών αξιών απόδοσης ευθυνών και πατρότητας των αποδείξεων, την ίδια στιγμή που άλλοι θεωρούν ότι πρόκειται για μια αναπόφευκτη και δυνητικά γόνιμη εξέλιξη.
- Νέο μοντέλο της Anthropic σημείωσε πρόοδο στην υπόθεση Riemann.
- Το σύστημα λειτούργησε αυτόνομα αξιοποιώντας 60 υποπράκτορες.
- Τα αποτελέσματα επιβεβαιώθηκαν από μαθηματικούς και το εργαλείο Lean.
- Ανοίγει ξανά ο διάλογος για τον ρόλο της τεχνητής νοημοσύνης στα μαθηματικά.
Πηγές:
