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

Post to X