Το Ίδρυμα Simons ανακοίνωσε ένα νέο σύνολο πρωτοβουλιών για να βοηθήσει την κοινότητα των μαθηματικών να πλοηγηθεί στην ταχεία άνοδο της τεχνητής νοημοσύνης στον τομέα, με τη στήριξη 15 εκατομμυρίων δολαρίων σε συνδυασμένη χρηματοδότηση και πόρους από το ίδρυμα, το Anthropic και το OpenAI.

Το ίδρυμα θα διαχειριστεί και θα απονείμει τη χρηματοδότηση, μεταξύ άλλων μέσω ανοικτής πρόσκλησης υποβολής προτάσεων, για να υποστηρίξει εργαστήρια και πρωτοβουλίες που βοηθούν τους ερευνητές να αξιολογήσουν πρόσφατα αποτελέσματα με τη βοήθεια τεχνητής νοημοσύνης, να μάθουν και να χρησιμοποιήσουν νέα εργαλεία, να μοιραστούν προοπτικές και να διαμορφώσουν συλλογικά πρότυπα για το πώς χρησιμοποιείται η τεχνητή νοημοσύνη στη μαθηματική έρευνα. For more context on this story, see our ongoing AI news.

Εργαλεία και Υπολογισμός Πέρα από τα Μαθηματικά

Πέρα από τη χρηματοδότηση, η Anthropic και η OpenAI θα παρέχουν εργαλεία τεχνητής νοημοσύνης και υπολογιστικούς πόρους σε ερευνητές που υποστηρίζονται από το Ίδρυμα Simons. Σύμφωνα με την ανακοίνωση του ιδρύματος, αυτή η υποστήριξη εκτείνεται πέρα ​​από τα μαθηματικά για να συμπεριλάβει τη βασική επιστήμη ευρύτερα - ένα ασυνήθιστα άμεσο κανάλι μεταξύ συνοριακών εργαστηρίων τεχνητής νοημοσύνης και εργαζόμενων ακαδημαϊκών ερευνητών.

Η συμφωνία είναι αξιοσημείωτη για τη δομή της: αντί τα εργαστήρια να ορίζουν την ατζέντα, το ίδρυμα ελέγχει τον τρόπο με τον οποίο απονέμονται τα χρήματα και το υλικό του Τύπου τονίζει ότι τα βραβεία και οι πόροι θα καθοδηγούνται από την κοινότητα.

Γιατί τα Μαθηματικά είναι η πρώτη γραμμή

Τα μαθηματικά έχουν γίνει ένα από τα πιο σημαντικά πεδία δοκιμών για την τεχνητή νοημοσύνη στην επιστήμη. Το Ίδρυμα Simons ήταν ένας από τους πρώτους υποστηρικτές της μηχανικής μάθησης για την επιστήμη, συμπεριλαμβανομένης της χρηματοδότησης της ανάπτυξης του Lean proof βοηθού, ο οποίος έχει αναδιαμορφώσει τον τρόπο με τον οποίο οι μαθηματικοί επισημοποιούν την εργασία και κατέστησε δυνατές αποδείξεις με τη βοήθεια AI. Καθώς τα συστήματα τεχνητής νοημοσύνης συμβάλλουν όλο και περισσότερο στη μαθηματική ανακάλυψη, η κοινότητα αντιμετωπίζει ένα πρακτικό πρόβλημα: πώς να επαληθεύει, να αξιολογεί και να εμπιστεύεται τα αποτελέσματα που παράγονται με σημαντική βοήθεια μηχανών.

Αυτό το πρόβλημα επαλήθευσης είναι κεντρικό για τη χρηματοδότηση της νέας πρωτοβουλίας. Τα εργαστήρια και οι πρωτοβουλίες που στοχεύουν στην "αξιολόγηση των πρόσφατων αποτελεσμάτων με τη βοήθεια τεχνητής νοημοσύνης" αναγνωρίζουν ότι η παραδοσιακή διαδικασία αξιολόγησης από ομοτίμους δεν σχεδιάστηκε για αποδείξεις που συντάχθηκαν με, ή σε ορισμένες περιπτώσεις, παράγονται ουσιαστικά από συστήματα τεχνητής νοημοσύνης.

The Foundation's Framing: Community First

Ο Πρόεδρος του Ιδρύματος Simons, Ντέιβιντ Σπέργκελ, χαρακτήρισε την προσπάθεια ως μια στιγμή για συλλογική λήψη αποφάσεων. «Καθώς η τεχνητή νοημοσύνη αναδιαμορφώνει γρήγορα το ερευνητικό τοπίο, θέλουμε να βοηθήσουμε τη μαθηματική κοινότητα να ενωθεί και να χαράξει την καλύτερη πορεία προς τα εμπρός», είπε ο Σπέργκελ στην ανακοίνωση. «Τώρα είναι η ώρα να δούμε τα μαθηματικά στο σύνολό τους – όχι ως μια συλλογή αποδείξεων και θεωρημάτων, αλλά ως μια συλλογική κατανόηση που καθοδηγείται από την ανθρώπινη περιέργεια».

Ο Σπέργκελ ήταν ξεκάθαρος σχετικά με το ποιος έπρεπε να ορίσει τους όρους υιοθεσίας. «Η κοινότητα θα πρέπει να οδηγεί τις συζητήσεις για τον τρόπο αξιολόγησης, υιοθέτησης και χρήσης αυτών των εργαλείων, όχι κάποια εταιρεία ή ίδρυμα», είπε. «Στόχος του προγράμματος είναι η υποστήριξη της κοινότητας των μαθηματικών».

Η δήλωση θεωρείται ως μια σκόπιμη αντίθεση με μια δυναμική οικεία υιοθέτηση της τεχνητής νοημοσύνης: μεμονωμένα ιδρύματα διαπραγματεύονται ξεχωριστές συμφωνίες με παρόχους μοντέλων, με κανόνες που ορίζονται από όποιο εργαστήριο ή πανεπιστήμιο κινηθεί πρώτο. Δρομολογώντας τη χρηματοδότηση μέσω μιας ανοιχτής πρόσκλησης και δίνοντας έμφαση στα συλλογικά πρότυπα, το ίδρυμα επιχειρεί να δημιουργήσει ένα σημείο συντονισμού για έναν κλάδο του οποίου η παραγωγή - οι αποδείξεις - είναι ασυνήθιστα επαληθεύσιμα και ως εκ τούτου ασυνήθιστα εκτεθειμένα σε συντομεύσεις που υποστηρίζονται από AI.

Ένα μοντέλο για άλλα πεδία

Η πρωτοβουλία μπορεί να χρησιμεύσει ως πρότυπο πέρα από τα μαθηματικά. Τα βασικά επιστημονικά πεδία αντιμετωπίζουν το ίδιο υποκείμενο ερώτημα - πώς να απορροφήσετε εργαλεία τεχνητής νοημοσύνης χωρίς να εκχωρήσετε πρότυπα στους προμηθευτές αυτών των εργαλείων - και η δομή του Simons Foundation, στην οποία μια ουδέτερη φιλανθρωπία διαχειρίζεται πόρους που δωρίζονται από ανταγωνιστικές εταιρείες τεχνητής νοημοσύνης, είναι μια από τις πρώτες προσπάθειες απάντησης.

Η ιστορία του ιδρύματος του έδωσε αξιοπιστία για να παίξει αυτόν τον ρόλο: πέρα ​​από την πρώιμη χρηματοδότηση του Lean proof βοηθού, έχει συγκαλέσει εργαστήρια, διαλέξεις και συνεργασίες εξερευνώντας τον ρόλο της τεχνητής νοημοσύνης στα μαθηματικά. Η νέα δέσμευση 15 εκατομμυρίων δολαρίων επισημοποιεί ότι η σύγκληση ισχύος σε ένα χρηματοδοτούμενο πρόγραμμα ακριβώς τη στιγμή που τα αποτελέσματα με τη βοήθεια τεχνητής νοημοσύνης φτάνουν πιο γρήγορα από ό,τι μπορούν να τα απορροφήσουν οι κανόνες της κοινότητας.

---

Stay Ahead of AI

Get the latest AI news, analysis, and breakthroughs — all in one place.

Read more AI news →