Startup Harmonic, ktorý spoluzakladal CEO Robinhoodu Vlad Tenev, vydal beta verziu svojej chatbot aplikácie pre iOS a Android s názvom Aristoteles. Ide o AI model navrhnutý špeciálne na matematické uvažovanie bez halucinácií.
Spoločnosť, ktorá nedávno získala 100 miliónov dolárov v rámci investičného kola série B pri ohodnotení 875 miliónov dolárov, sa odlišuje od bežných AI modelov zameraním na matematickú superinteligenciu (MSI). Na rozdiel od tradičných veľkých jazykových modelov, ktoré majú problémy s komplexnými výpočtami, bol Aristoteles vyvinutý od základov s cieľom zaručiť presnosť v kvantitatívnych oblastiach.
"Aristoteles je prvý produkt dostupný ľuďom, ktorý dokáže uvažovať a formálne verifikovať výstupy," uviedol CEO a spoluzakladateľ Harmonic Tudor Achim. "V oblastiach, ktoré Aristoteles podporuje, teda v doménach kvantitatívneho uvažovania, skutočne garantujeme, že nedochádza k halucináciám."
Systém dosahuje túto výnimočnú presnosť dvojkrokovým procesom. Najprv Aristoteles preloží matematické úlohy v prirodzenom jazyku do open-source programovacieho jazyka Lean 4, ktorý slúži ako asistent dôkazov a umožňuje kontrolu správnosti matematických definícií a viet. Následne model pred poskytnutím odpovede používateľovi riešenia ešte raz overí algoritmickou verifikáciou, ktorá nevyužíva AI – podobne ako sa to robí v oblastiach s vysokými nárokmi na bezpečnosť, napríklad v medicínskych zariadeniach či letectve.
Harmonic tvrdí, že Aristoteles dosiahol zlatú medailu na Medzinárodnej matematickej olympiáde (IMO) 2025 prostredníctvom formálneho testovania, kde boli úlohy preložené do strojovo čitateľného formátu. Tento úspech prichádza v roku, keď AI modely od Google DeepMind a OpenAI tiež dosiahli zlaté medailové štandardy na IMO, avšak prostredníctvom neformálnych testov v prirodzenom jazyku.
Ambície spoločnosti siahajú aj za hranice matematiky. Harmonic verí, že MSI pomôže používateľom vo všetkých oblastiach, ktoré sa spoliehajú na matematické uvažovanie – vrátane fyziky, štatistiky či informatiky. Spoločnosť plánuje v budúcnosti sprístupniť API pre podnikové využitie a webovú aplikáciu pre bežných používateľov, čo by mohlo zásadne zmeniť spôsob, akým odvetvia pristupujú k problémom vyžadujúcim presné kvantitatívne uvažovanie.