Για πρώτη φορά μαθηματικοί χρησιμοποίησαν τεχνητή νοημοσύνη για να αποδείξουν θεωρήματα

Για πρώτη φορά μαθηματική χρησιμοποίησαν τεχνητή νοημοσύνη για να αποδείξουν θεωρήματα Facebook Twitter
0

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

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

Οι ερευνητές των πανεπιστημίων του Σίδνεϊ και της Οξφόρδης, καθώς και της θυγατρικής τεχνητής νοημοσύνης DeepMind της Google, οι οποίοι έκαναν τη σχετική δημοσίευση στο περιοδικό "Nature", εξέφρασαν την αισιοδοξία τους ότι ανοίγει πλέον ο δρόμος για μια σε βάθος συνεργασία ανάμεσα στα πεδία των «καθαρών» μαθηματικών και της τεχνητής νοημοσύνης, κάτι που αναμένεται να φέρει εντυπωσιακά αποτελέσματα. Η τεχνητή νοημοσύνη, όπως δείχνει η νέα έρευνα, έχει ωριμάσει τόσο, ώστε μπορεί πλέον να αξιοποιηθεί για να βοηθήσει στη μαθηματική έρευνα εκείνη που - όπως η τέχνη - βασίζεται συνήθως στη διαίσθηση και στη δημιουργικότητα.

Όπως ανέφερε ο καθηγητής Τζόρντι Ουίλιαμσον του Ινστιτούτου Μαθηματικής Έρευνας του Σίδνεϊ, ένας από τους κορυφαίους μαθηματικούς στον κόσμο, «τα προβλήματα στα μαθηματικά θεωρούνται ευρέως από τα πιο δύσκολα που υπάρχουν γενικά. Ενώ οι μαθηματικοί έχουν χρησιμοποιήσει τη μηχανική μάθηση για να τους βοηθήσει στην ανάλυση πολύπλοκων δεδομένων, είναι η πρώτη φορά που έχουμε χρησιμοποιήσει τους υπολογιστές για να μας βοηθήσουν να κάνουμε μαθηματικές εικασίες ή να προτείνουμε πιθανές 'γραμμές επίθεσης' σε αναπόδεικτες έως τώρα ιδέες στα μαθηματικά».

Ο Ουίλιαμσον, ο οποίος θεωρείται κορυφή διεθνώς στη θεωρία των αναπαραστάσεων, που διερευνά τους χώρους ανώτερων διαστάσεων με τη χρήση γραμμικής άλγεβρας, χρησιμοποίησε την τεχνητή νοημοσύνη της DeepMind για να φθάσει κοντά στην απόδειξη μιας παλαιάς εικασίας σχετικά με τα πολυώνυμα Kazhdan-Lusztig, που έχει μείνει άλυτη εδώ και 40 χρόνια και η οποία αφορά τη βαθιά συμμετρία στην άλγεβρα των ανώτερων διαστάσεων.

Οι καθηγητές της Οξφόρδης Μαρκ Λάκεμπι και 'Αντρας Γιούχαστς, με τη βοήθεια της τεχνητής νοημοσύνης, ανακάλυψαν μια απρόσμενη σύνδεση ανάμεσα στις αλγεβρικές και γεωμετρικές σταθερές των κόμβων, ανακαλύπτοντας έτσι ένα τελείως νέο μαθηματικό θεώρημα. Η θεωρία των κόμβων έχει πολλαπλές εφαρμογές στις φυσικές και άλλες επιστήμες.

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

Με πληροφορίες από Nature και ΑΠΕ-ΜΠΕ

Τech & Science
0

ΔΕΙΤΕ ΑΚΟΜΑ

Έρευνα: Οι άνθρωποι στην εφηβεία και οι χιμπατζήδες μοιράζονται παρόμοια «προβλήματα»

Τech & Science / Έρευνα: Οι άνθρωποι στην εφηβεία και οι χιμπατζήδες μοιράζονται παρόμοια «προβλήματα»

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

Τech & Science / Η βαριατρική χειρουργική μειώνει σημαντικά τους πρόωρους θανάτους - Τα ευρήματα 40ετούς έρευνας

Παρά τα σημαντικά οφέλη αυτών των επεμβάσεων, μόλις το 2% των ασθενών που επιλέγονται για βαριατρικό χειρουργείο, το κάνουν τελικά κυρίως λόγω του στίγματος για την παχυσαρκία
NEWSROOM

σχόλια

Δεν υπάρχει δυνατότητα σχολιασμού

ΘΕΜΑΤΑ ΔΗΜΟΦΙΛΗ

ΕΙΔΗΣΕΙΣ ΔΗΜΟΦΙΛΗ

THE GOOD LIFO ΔΗΜΟΦΙΛΗ