Επιστήμονες των υπολογιστών και μαθηματικοί χρησιμοποίησαν τεχνητή νοημοσύνη για να αποδείξουν θεωρήματα.
Τη σχετική δημοσίευση στο περιοδικό “Nature” έκαναν ερευνητές των πανεπιστημίων του Σίδνεϊ και της Οξφόρδης, καθώς και της θυγατρικής τεχνητής νοημοσύνης DeepMind της Google και εξέφρασαν την αισιοδοξία τους ότι ανοίγει πλέον ο δρόμος για μια σε βάθος συνεργασία ανάμεσα στα πεδία των “καθαρών” μαθηματικών και της τεχνητής νοημοσύνης, κάτι που αναμένεται να φέρει εντυπωσιακά…