Η Harmonic, μια startup τεχνητής νοημοσύνης που συνίδρυσε ο CEO της Robinhood, Vlad Tenev, κυκλοφόρησε τη beta έκδοση της εφαρμογής chatbot για iOS και Android με τον Αριστοτέλη, ένα AI μοντέλο σχεδιασμένο ειδικά για μαθηματική λογική χωρίς παραισθήσεις.
Η εταιρεία, που πρόσφατα συγκέντρωσε 100 εκατομμύρια δολάρια σε Series B χρηματοδότηση με αποτίμηση 875 εκατομμυρίων δολαρίων, διαφοροποιείται από τα συμβατικά AI μοντέλα εστιάζοντας στη μαθηματική υπερνοημοσύνη (MSI). Σε αντίθεση με τα παραδοσιακά μεγάλα γλωσσικά μοντέλα που δυσκολεύονται με σύνθετους υπολογισμούς, ο Αριστοτέλης σχεδιάστηκε εξ αρχής για να εγγυάται ακρίβεια σε ποσοτικούς τομείς.
«Ο Αριστοτέλης είναι το πρώτο προϊόν διαθέσιμο στους ανθρώπους που κάνει λογικούς συλλογισμούς και επαληθεύει επίσημα το αποτέλεσμα», δήλωσε ο CEO και συνιδρυτής της Harmonic, Tudor Achim. «Στους τομείς που υποστηρίζει ο Αριστοτέλης, δηλαδή στους τομείς ποσοτικής λογικής, εγγυόμαστε πραγματικά ότι δεν υπάρχουν παραισθήσεις.»
Το σύστημα επιτυγχάνει αυτή τη μοναδική ακρίβεια μέσω μιας διαδικασίας δύο βημάτων. Αρχικά, ο Αριστοτέλης μεταφράζει μαθηματικά προβλήματα σε φυσική γλώσσα στη γλώσσα προγραμματισμού Lean 4, έναν βοηθό απόδειξης που επιτρέπει τον έλεγχο ορθότητας μαθηματικών ορισμών και θεωρημάτων. Στη συνέχεια, πριν δώσει απαντήσεις στους χρήστες, το μοντέλο επαληθεύει διπλά τις λύσεις μέσω μιας αλγοριθμικής διαδικασίας που δεν περιλαμβάνει AI—παρόμοια με τις μεθόδους επαλήθευσης που χρησιμοποιούνται σε κρίσιμους τομείς όπως οι ιατρικές συσκευές και η αεροπορία.
Η Harmonic ισχυρίζεται ότι ο Αριστοτέλης πέτυχε απόδοση χρυσού μεταλλίου στην Ολυμπιάδα Μαθηματικών 2025 (IMO) μέσω επίσημων δοκιμών, όπου τα προβλήματα μεταφράστηκαν σε μορφή αναγνώσιμη από μηχανή. Αυτό το επίτευγμα έρχεται σε μια χρονιά όπου και τα AI μοντέλα των Google DeepMind και OpenAI έφτασαν σε επίπεδο χρυσού μεταλλίου στην IMO, αν και μέσω ανεπίσημων δοκιμών σε φυσική γλώσσα.
Οι φιλοδοξίες της εταιρείας εκτείνονται πέρα από τα μαθηματικά. Η Harmonic πιστεύει ότι η MSI θα βοηθήσει τους χρήστες σε όλους τους τομείς που βασίζονται στη μαθηματική λογική, συμπεριλαμβανομένων της φυσικής, της στατιστικής και της επιστήμης υπολογιστών. Τελικά, η εταιρεία σχεδιάζει να κυκλοφορήσει ένα API για επιχειρηματική χρήση και μια διαδικτυακή εφαρμογή για καταναλωτές, με την προοπτική να μεταμορφώσει τον τρόπο με τον οποίο οι βιομηχανίες προσεγγίζουν προβλήματα που απαιτούν ακριβή ποσοτική λογική.