Η Harmonic AI, μια εταιρεία τεχνητής νοημοσύνης που συνίδρυσε ο Vlad Tenev, CEO της Robinhood Markets, ολοκλήρωσε πρόσφατα έναν γύρο χρηματοδότησης Series B ύψους 100 εκατομμυρίων δολαρίων, ανεβάζοντας την αποτίμησή της στα 900 εκατομμύρια δολάρια. Η χρηματοδότηση αυτή, με επικεφαλής την Kleiner Perkins και τη συμμετοχή κορυφαίων επενδυτών όπως οι Sequoia Capital, Index Ventures και Paradigm, σηματοδοτεί την επιτάχυνση της ανάπτυξης της εταιρείας στον τομέα της mathematical superintelligence.
Η Harmonic AI ιδρύθηκε το 2023 από τον Vlad Tenev και τον Tudor Achim, πρώην CEO της startup αυτόνομης οδήγησης Helm.ai, ο οποίος σήμερα ηγείται της εταιρείας. Στόχος της Harmonic είναι η ανάπτυξη ενός εξελιγμένου AI μοντέλου, με την ονομασία Aristotle, το οποίο ειδικεύεται στην επίλυση σύνθετων μαθηματικών προβλημάτων με ακρίβεια και αξιοπιστία που ξεπερνά ακόμη και τον καλύτερο άνθρωπο μαθηματικό.
Το μοντέλο Aristotle χρησιμοποιεί τον Lean 4 proof assistant, ένα σύστημα που επιτρέπει τη μετάφραση μαθηματικών προβλημάτων σε επίσημα αποδείξιμες λύσεις, εξαλείφοντας τα λάθη και τις αβεβαιότητες που χαρακτηρίζουν παραδοσιακά συστήματα AI βασισμένα σε γλώσσα. Το Aristotle έχει ήδη επιτύχει ποσοστό επιτυχίας 90% σε πρότυπα τεστ μαθηματικών, όπως το MiniF2F, που περιλαμβάνει προβλήματα από επίπεδο Λυκείου έως και Διεθνών Μαθηματικών Ολυμπιάδων.
Η Harmonic AI εφαρμόζει μια καινοτόμο μέθοδο εκπαίδευσης μέσω αυτόματης δημιουργίας συνθετικών δεδομένων, επιτρέποντας στο AI να αυτοβελτιώνεται συνεχώς μέσω ενός self-play loop, ξεκινώντας από απλές ασκήσεις και φτάνοντας στην επίλυση σύνθετων θεωρημάτων.
Ο Vlad Tenev δήλωσε ότι ο βραχυπρόθεσμος στόχος είναι η δημιουργία AI που να επιλύει μαθηματικά προβλήματα καλύτερα από οποιονδήποτε άνθρωπο, ενώ ο μακροπρόθεσμος στόχος είναι η αντιμετώπιση μεγάλων, ακόμη άλυτων προβλημάτων στα μαθηματικά, τη φυσική και την επιστήμη των υπολογιστών.
Η τεχνολογία της Harmonic αναμένεται να βρει εφαρμογές σε κρίσιμους τομείς όπως η ανάπτυξη λογισμικού με επίσημη επαλήθευση, η ασφάλεια στον χρηματοοικονομικό τομέα, η αεροδιαστημική και άλλες βιομηχανίες όπου η ακρίβεια είναι ζωτικής σημασίας.
Η εταιρεία σχεδιάζει να διαθέσει το μοντέλο Aristotle στους ερευνητές και το ευρύ κοινό μέσα στο 2025, ανοίγοντας νέους δρόμους στην επιστημονική έρευνα και την τεχνολογική καινοτομία.
