Harmonic debiutuje z chatbotem matematycznym, obiecując brak halucynacji

Harmonic, startup AI założony przez Vlada Teneva, dyrektora generalnego Robinhooda, oraz Tudora Achima, oficjalnie ogłosił uruchomienie wersji beta swojej aplikacji mobilnej. Dostępna na iOS i Androida, platforma umożliwia użytkownikom interakcję z modelem AI o nazwie Aristotle, który ma rewolucjonizować podejście do rozwiązywania problemów matematycznych.

Kluczowym elementem strategii Harmonic jest dążenie do tzw. „matematycznej superinteligencji” (MSI). Firma nie tylko obiecuje odpowiedzi wolne od halucynacji w obszarach wymagających rozumowania matematycznego, ale wręcz gwarantuje ich poprawność. To śmiałe oświadczenie, biorąc pod uwagę znane ograniczenia współczesnych modeli sztucznej inteligencji, które często borykają się z generowaniem nieprawdziwych lub niespójnych informacji.

Tudor Achim, CEO i współzałożyciel Harmonic, podkreśla w rozmowie z TechCrunch, że Aristotle to pierwszy dostępny publicznie produkt, który nie tylko przeprowadza skomplikowane rozumowanie, ale także formalnie weryfikuje swoje wyniki. Potencjalne zastosowania Aristotle mają wykraczać poza czystą matematykę, obejmując fizykę, statystykę i informatykę.

Achim wyjaśnia, że precyzja działania modelu Aristotle wynika z unikalnego podejścia: odpowiedzi generowane są w języku programowania open-source Lean. Następnie, przed przedstawieniem wyniku użytkownikowi, model poddaje go rygorystycznej, algorytmicznej kontroli, która nie opiera się na sztucznej inteligencji. Takie metody weryfikacji są standardem w branżach o wysokim ryzyku, takich jak lotnictwo czy medycyna, co ma podkreślać niezawodność rozwiązania Harmonic.

Mimo zapewnień twórców, osiągnięcie całkowitego braku halucynacji, nawet w wąskiej dziedzinie, pozostaje wyzwaniem. Badania pokazują, że nawet najbardziej zaawansowane modele AI nadal popełniają błędy. Co więcej, niektóre dane wskazują, że problem halucynacji w nowych, bardziej złożonych modelach może wręcz narastać.

W kontekście imponujących osiągnięć AI w rozwiązywaniu zagadek matematycznych, Harmonic twierdzi, że Aristotle zdobył złoty medal na Międzynarodowej Olimpiadzie Matematycznej 2025. Co istotne, test przeprowadzono w formacie formalnym, co oznacza, że problemy przetłumaczono na język maszyny. To odróżnia podejście Harmonic od konkurencyjnych modeli Google i OpenAI, które również osiągnęły wyniki na poziomie złotego medalu w olimpiadzie, ale w testach nieformalnych, opartych na języku naturalnym. Różnica w metodologii testowania może mieć kluczowe znaczenie dla oceny faktycznej niezawodności i możliwości modelu Aristotle.

Debiut aplikacji następuje zaledwie kilka tygodni po tym, jak Harmonic pozyskał 100 milionów dolarów w ramach rundy finansowania serii B, prowadzonej przez Kleiner Perkins, wyceniając startup na 875 milionów dolarów. Tudor Achim podkreśla, że inwestorzy dostrzegli potencjał w ambitnych celach firmy na drodze do osiągnięcia matematycznej superinteligencji. Harmonic planuje również udostępnić API dla przedsiębiorstw oraz stworzyć wersję webową dla szerokiej publiczności, co ma further rozszerzyć dostępność i zastosowania Aristotle.