Harmonic a jejich ambiciózní cíl: matematická superinteligence
Harmonic, startup spoluzaložený Vladem Tenevem, CEO Robinhood, představil beta verzi chatbot aplikace Aristotle, která je nyní dostupná pro iOS a Android. Cílem je zpřístupnit tuto AI modelovou platformu širšímu publiku a pomoci uživatelům s úlohami zahrnujícími matematiku, fyziku, statistiku a informatiku. Harmonic se odlišuje tím, že jeho AI poskytuje jakési „matematické superinteligentní“ řešení, jež má garantovat, že odpovědi nejsou „halucinační“ – tedy falešné nebo nesprávně vymyšlené výsledky.
Harmonic slibuje, že Aristotle je první komerčně dostupný produkt, který dokáže provádět formální ověřování výsledků v kvantitativních doménách, což je unikátní vlastnost oproti běžným generativním AI modelům. Tím se snaží vyřešit zásadní problém dnešních AI – často nepravdivě generované či chybná data.
Jak Aristotle dosahuje preciznosti a co to znamená
Základ je v metodě, kterou Aristotle používá: všechny odpovědi generuje v programovacím jazyce Lean, otevřeném a formálně ověřitelném. Po zodpovězení problému model ještě podstupuje algoritmickou kontrolu, která nevyužívá AI a slouží k potvrzení správnosti řešení. Tento přístup připomíná high-stakes validace v oborech jako jsou lékařské přístroje nebo letectví.
Podle CEO startupu, Tudor Achima, Harmonic tímto způsobem dramaticky snižuje možnost chyb a halucinací, které trápí i nejlepší současné modely AI, včetně těch od OpenAI. Navzdory snahám ostatních technologických firem, které též dosahují vysoké úrovně na mezinárodní matematické olympiádě (IMO), Harmonic svůj úspěch podložil formalizovanými testy, kde jsou zadání převedena do strojově čitelné podoby, což přináší vyšší míru důvěryhodnosti a přesnosti.
Plány do budoucna a význam pro uživatele i podniky
Harmonic neplánuje zůstat jen u chatbotu jako mobilní aplikace. V příštích krocích chce zpřístupnit Aristotela firmám přes API a webovou aplikaci pro běžné uživatele. Startup nedávno získal 100 milionů dolarů v sérii B investic vedených Kleiner Perkins s valuací 875 milionů dolarů, což naznačuje značnou víru investorů v ambice a technologii společnosti.
Tento pokrok představuje významný milník v AI, zvláště v oblasti technického a vědeckého využití, kde je přesnost a spolehlivost klíčová. Aristoteles může být pro profesionály a firmy nástrojem, který umožní efektivnější řešení komplexních matematických problémů s jistotou formální validace výsledků, čímž posune očekávání od AI dál.
Zdroj: TechCrunch
