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