Harmonic, start-upa AI, współzałożycielka Robinhood CEO, Vlada Teneva, uruchomił wersję beta swojej aplikacji AI Chatbot na iOS i Androida, zapewniając użytkownikom dostęp do jego modelu AI, Aristotle. Firma ma na celu poszerzenie dostępu do Arystotelesa, który, jak twierdzi, oferuje „bez halucynacji” odpowiedzi na pytania matematyczne. Jest to znaczące roszczenie, biorąc pod uwagę ciągłe problemy z niezawodnością z obecnymi modelami AI.
Podstawową misją harmonicznej jest stworzenie „matematycznej superinteligencji” (MSI). Startup planuje rozszerzyć możliwości Arystotelesa, aby pomóc użytkownikom w różnych dziedzinach, które opierają się na matematyce, w tym z fizyki, statystyki i informatyki. Harmoniczny dyrektor generalny i współzałożyciel Tudor Achim powiedział Techcrunch że Arystoteles jest „pierwszym produktem dostępnym dla osób, które wykonują rozumowanie i formalnie weryfikuje wyniki”, dodając, „w domenach, które wspiera Arystoteles, które są ilościowymi domenami rozumowania, w rzeczywistości gwarantujemy, że nie ma halucynacji”.
Firma zamierza również wydać interfejs API dla przedsiębiorstw w celu uzyskania dostępu do Arystotelesa i aplikacji internetowej dla ogólnych konsumentów w przyszłości. Harmonic ogłosił, że Arystoteles osiągnął wydajność złotego medalu na międzynarodowej olimpiadzie matematyki z matematyki 2025 (IMO) za pomocą testu formalnego, w którym problemy zostały przetłumaczone na format odczytujący maszynę. Osiągnięcie to umieszcza Arystotelesa wraz z modelami AI opracowanymi przez Google i Openai, które również osiągnęły wydajność złotego medalu w tegorocznym IMO poprzez nieformalne testy w języku naturalnym. Mimo to Harmonic nie wypuściła innych punktów odniesienia dla Arystotelesa.
Ta premiera beta jest ściśle po obcasie udanej rundy finansowania serii B Harmonicznej, która zebrała 100 milionów dolarów. Rundę prowadził Kleiner Perkins, wyceniając firmę na 875 milionów dolarów. Achim wskazał, że harmoniczna „rozwija się bardzo szybko” na swoją drogę do osiągnięcia MSI, a inwestorzy uważali, że wycena była uczciwa, biorąc pod uwagę zakres ambicji startupu.
Kilka wiodących firm technologicznych aktywnie koncentruje się na szkoleniu modeli AI w celu rozwiązywania problemów matematycznych. Zdolność sztucznej inteligencji do wykonywania matematyki jest cenna sama w sobie, a matematyka jest również uważana za wyjątkowo weryfikowalną domenę, która wymaga podstawowych umiejętności rozumowania. Systemy zdolne do rozwijania tych umiejętności mogą okazać się przydatne w innych domenach. Achim wyjaśnił, że harmoniczna osiąga swoją wysoką dokładność, ponieważ Arystoteles produkuje reakcje w Lean, języku programowania typu open source. Przed udzieleniem odpowiedzi dla użytkowników model modelu dwukrotnie uzasadnia rozwiązanie poprawności, proces, który nie obejmuje AI. Achim zauważył, że podobna technologia weryfikacji jest stosowana w dziedzinach wysokiej stawki, takich jak urządzenia medyczne i lotnictwo.
Osiągnięcie wydajności bez halucynacji z modelu AI, nawet w wąskiej domenie, jest niezwykle trudnym zadaniem. Badania wykazały, że nawet wiodące modele AI często halucynują, a problem ten nie wykazał oznak znacznej poprawy, a niektóre z najnowszych modeli rozumowania Openai wykazują nawet więcej halucynacji niż ich poprzednicy.
Source: Ten startup twierdzi, że rozwiązał problem halucynacji AI
