Μια ομάδα ερευνητών στο Ινστιτούτο Τεχνολογίας του Ισραήλ
κατασκεύασε αυτό που περιγράφουν ως μηχανή Ramanujan – μια συσκευή που
δημιουργεί αυτόματα εικασίες (μαθηματικές δηλώσεις που προτείνονται ως
αληθινές δηλώσεις) για θεμελιώδεις σταθερές.
Έχουν γράψει ένα χαρτί που περιγράφει τη συσκευή τους και το έχουν ανεβάσει στον διακομιστή προεκτύπωσης arXiv . Δημιούργησαν
επίσης μια ιστοσελίδα για άτομα που επιθυμούν να επιτρέψουν στο δίκτυο
να χρησιμοποιήσει τους κύκλους διαδικασίας του υπολογιστή τους, να
προτείνει μια απόδειξη ή να αναπτύξει κώδικα για νέες μαθηματικές δομές.
Η μηχανή Ramanujan είναι περισσότερο μια ιδέα παρά μια
πραγματική μηχανή – υπάρχει ως ένα δίκτυο υπολογιστών που εκτελούν
αλγόριθμους αφιερωμένους στην εύρεση εικασιών για θεμελιώδεις σταθερές
με τη μορφή συνεχόμενων κλασμάτων—
ορίζονται ως κλάσματα άπειρου μήκους όπου ο παρονομαστής είναι μια
ορισμένη ποσότητα συν ένα κλάσμα, όπου ένα τελευταίο κλάσμα έχει
παρόμοιο παρονομαστή κ.λπ.)
Ο σκοπός της μηχανής είναι να βρει εικασίες
(με τη μορφή μαθηματικών τύπων ) που οι άνθρωποι μπορούν να αναλύσουν,
και ελπίζουμε να αποδειχθούν αληθινά μαθηματικά. Η ομάδα που δημιούργησε
το μηχάνημα ελπίζει ότι η ιδέα τους θα εμπνεύσει τις μελλοντικές γενιές
μαθηματικών – για το σκοπό αυτό, σημειώνουν ότι οποιοιδήποτε νέοι
αλγόριθμοι, αποδείξεις ή εικασίες που αναπτύσσονται από έναν
συμμετέχοντα θα φέρουν το όνομά τους.
Οι ερευνητές σημειώνουν ότι η
μηχανή τους έχει ήδη ανακαλύψει δεκάδες νέες εικασίες.
πηγή: https://phys.org/