Στα μαθηματικά, η υπόθεση της σύζευξης και το αντίστροφο του αξιώματος περιγράφουν προτάσεις ή θεωρήματα που φαίνεται να είναι σωστά αλλά δεν έχουν ακόμη αποδειχθεί.
Οι επιστήμονες ονόμασαν τη μηχανή ως μηχανή Ramanujan, μετά τον Ινδό μαθηματικό Srinivasa Ramanujan, ο οποίος δημιούργησε χιλιάδες μαθηματικές ιδέες και εξισώσεις, αλλά πέθανε στην ηλικία των 32 ετών.
Οι ερευνητές από το Ινστιτούτο Τεχνολογίας Technion-Israel δήλωσαν τα ακόλουθα στη νέα μελέτη που δημοσιεύθηκε στο Nature όπου εισήχθη το σύστημα:
Οι μαθηματικές σταθερές όπως «e και π εμφανίζονται σε διάφορους τομείς της επιστήμης, από αφηρημένα μαθηματικά έως γεωμετρία, φυσική, βιολογία και χημεία. Ωστόσο, υπήρξε μικρή αύξηση στον αριθμό των νέων μαθηματικών τύπων που ασχολούνται με θεμελιώδεις σταθερές κατά τη διάρκεια των αιώνων. Η ανακάλυψη αυτών των τύπων ήρθε με ακανόνιστα χρονικά διαστήματα. “
Το Ramanujan Machine αναμένεται να επιταχύνει τις ανακαλύψεις. Το μηχάνημα αποτελείται από ένα σύστημα αλγορίθμων που τροφοδοτείται από ένα δίκτυο υπολογιστών συνδεδεμένο μέσω του συστήματος cloud.
Το σύστημα είναι ικανό να παράγει συζεύγματα και να ανακαλύπτει μαθηματικούς τύπους για θεμελιώδεις σταθερές που μπορούν να αποκαλύψουν τη βασική δομή των μαθηματικών σταθερών.
Σε πειράματα μέχρι στιγμής, το σύστημα αλγορίθμων κατάφερε να παράγει συζεύγματα που μπορούν εύκολα να αποδειχθούν. Επιπλέον, το σύστημα ανακάλυψε μη αποδεδειγμένα συζυγή καθώς και νέες κλασματικές μεθόδους που μπορούν να χρησιμοποιηθούν για τον υπολογισμό των σταθερών που μοιάζουν με ortaya.
Ο κύριος συγγραφέας της μελέτης, φυσικός Ido Kaminer, δήλωσε ότι το σύστημα δεν βασίζει τα αποτελέσματά του σε προηγούμενες μαθηματικές γνώσεις, αλλά μόνο σε αριθμούς σε μαθηματικές σταθερές.
“Σε αυτό το σημείο, εξαρτάται από τους μαθηματικούς”, δήλωσε ο Kaminer, ο οποίος είπε, “Πρέπει να υπογραμμιστεί ότι ο αλγόριθμος δεν μπορεί να αποδείξει τις συγκυρίες που παράγει.”
«Πιστεύουμε ότι οι αποδείξεις νέων συζυγών που παράγονται από τον υπολογιστή για θεμελιώδεις σταθερές θα δημιουργήσουν νέες μαθηματικές γνώσεις», ανέφεραν οι ερευνητές.