Harmonic, startup AI współzałożony przez CEO Robinhood Vlada Teneva, udostępnił wersję beta swojej aplikacji chatbotowej na iOS i Androida, w której działa Aristotle — model AI zaprojektowany specjalnie do rozumowania matematycznego bez halucynacji.
Firma, która niedawno pozyskała 100 milionów dolarów w rundzie finansowania serii B przy wycenie 875 milionów dolarów, wyróżnia się na tle głównych modeli AI, koncentrując się na matematycznej superinteligencji (MSI). W przeciwieństwie do tradycyjnych dużych modeli językowych, które mają trudności z zaawansowanymi obliczeniami, Aristotle został zbudowany od podstaw, by gwarantować dokładność w dziedzinach ilościowych.
„Aristotle to pierwszy produkt dostępny dla użytkowników, który prowadzi rozumowanie i formalnie weryfikuje wyniki” — mówi Tudor Achim, CEO i współzałożyciel Harmonic. „W dziedzinach, które obsługuje Aristotle, czyli w obszarach rozumowania ilościowego, rzeczywiście gwarantujemy brak halucynacji.”
System osiąga tę niezwykłą precyzję dzięki dwuetapowemu procesowi. Najpierw Aristotle tłumaczy matematyczne problemy zapisane w języku naturalnym na otwartoźródłowy język programowania Lean 4 — asystenta dowodów, który pozwala sprawdzić poprawność definicji i twierdzeń matematycznych. Następnie, zanim odpowiedzi zostaną przekazane użytkownikom, model podwójnie sprawdza rozwiązania poprzez algorytmiczną weryfikację — bez udziału AI — podobnie jak weryfikacja stosowana w branżach o wysokim poziomie ryzyka, takich jak urządzenia medyczne czy lotnictwo.
Harmonic twierdzi, że Aristotle osiągnął wynik na poziomie złotego medalu na Międzynarodowej Olimpiadzie Matematycznej 2025 (IMO) podczas formalnych testów, w których zadania były tłumaczone na format zrozumiały dla maszyny. Ten sukces przypadł na rok, w którym modele AI od Google DeepMind i OpenAI również osiągnęły poziom złotego medalu na IMO, choć w ramach nieformalnych testów w języku naturalnym.
Ambicje firmy wykraczają poza matematykę. Harmonic wierzy, że MSI pomoże użytkownikom we wszystkich dziedzinach opierających się na rozumowaniu matematycznym, w tym w fizyce, statystyce i informatyce. W przyszłości firma planuje udostępnić API dla klientów biznesowych oraz aplikację webową dla konsumentów, co może zrewolucjonizować podejście branż do problemów wymagających precyzyjnego rozumowania ilościowego.