Harmonic, AI startup spoluzaložený generálním ředitelem Robinhoodu Vladem Tenevem, vydal beta verzi své chatbot aplikace pro iOS a Android s názvem Aristotle. Tento AI model je navržen speciálně pro matematické uvažování bez halucinací.
Společnost, která nedávno získala 100 milionů dolarů v rámci investičního kola Series B při valuaci 875 milionů dolarů, se odlišuje od běžných AI modelů zaměřením na matematickou superinteligenci (MSI). Na rozdíl od konvenčních velkých jazykových modelů, které mají potíže s komplexními výpočty, byl Aristotle vytvořen od základů tak, aby zaručoval přesnost v kvantitativních oblastech.
„Aristotle je první produkt dostupný lidem, který provádí uvažování a formálně ověřuje výstupy,“ uvedl generální ředitel a spoluzakladatel Harmonic Tudor Achim. „V oblastech, které Aristotle podporuje – tedy v doménách kvantitativního uvažování – skutečně garantujeme, že nedochází k halucinacím.“
Systém dosahuje této mimořádné přesnosti dvoufázovým procesem. Nejprve Aristotle převede matematické úlohy z přirozeného jazyka do open-source programovacího jazyka Lean 4, což je asistent pro dokazování, který umožňuje ověřit správnost matematických definic a vět. Před poskytnutím odpovědi uživateli pak model řešení znovu ověřuje algoritmickým procesem bez využití AI – podobně jako se ověřují systémy v oblastech s vysokými nároky na bezpečnost, například u zdravotnických zařízení nebo v letectví.
Harmonic uvádí, že Aristotle dosáhl zlaté medailové úrovně na Mezinárodní matematické olympiádě 2025 prostřednictvím formálního testování, kdy byly úlohy převedeny do strojově čitelného formátu. Tento úspěch přichází v roce, kdy modely AI od Google DeepMind a OpenAI rovněž dosáhly zlatého standardu na IMO, ovšem prostřednictvím neformálních testů v přirozeném jazyce.
Ambice společnosti sahají za hranice matematiky. Harmonic věří, že MSI pomůže uživatelům ve všech oborech spoléhajících na matematické uvažování, včetně fyziky, statistiky či informatiky. Do budoucna firma plánuje zpřístupnit API pro podnikové využití a webovou aplikaci pro koncové uživatele, což by mohlo zásadně proměnit přístup průmyslových odvětví k problémům vyžadujícím přesné kvantitativní uvažování.