Google Deepmind AlphaProof Nexus: Επίλυση εννέα προβλημάτων Erdős, δύο άλυτων επί 56 έτη (Source: the-decoder.com)
Το σύστημα AlphaProof Nexus της Google Deepmind έχει επιλύσει αυτόνομα εννέα ανοικτά προβλήματα του Erdős, μεταξύ των οποίων δύο που είχαν παραμείνει άλυτα για τους μαθηματικούς επί 56 χρόνια, με κόστος εξαγωγής συμπερασμάτων που ανέρχεται σε μερικές εκατοντάδες δολάρια ανά πρόβλημα.
Σε αντίθεση με τη μέθοδο φυσικής γλώσσας που εφαρμόζει η OpenAI, το συγκεκριμένο σύστημα αξιοποιεί τον μεταγλωττιστή Lean για την αυτόματη επαλήθευση κάθε σταδίου της απόδειξης. Παρόλα αυτά, το συνολικό ποσοστό επιτυχίας του ανέρχεται μόλις στο 2,5 τοις εκατό.
