V pouhých 24 letech se Carina Hong stala jednou z nejprominentnějších postav v oblasti umělé inteligence na celosvětovém měřítku. Tato matematička, která se narodila v Guangzhou v Číně, se rozhodla opustit doktorský program na Stanfordu a založila Axiom Math, startup zaměřený na řešení základních problémů ve vědě a pokročilé matematice.
Jak uvádí vnexpress.net, Axiom Math, založená v březnu, si rychle získala pozornost v průmyslu, když v září získala počáteční financování ve výši 64 milionů USD. Hong během krátké doby sestavila tým složený ze 17 elitních výzkumníků, kteří byli najati z Meta FAIR, týmu GenAI Meta a Google Brain–DeepMind. Zaměření Axiom je jasné a ambiciózní: učinit matematiku základem pro superinteligenci.
„Matematika je ideálním pískovištěm pro budování superinteligence,“ řekla Hong pro Forbes.
Hongin zájem o matematiku se vyvíjel už od dětství. Naučila se anglicky, aby mohla přistupovat k literatuře o pokročilé matematice. Během střední školy byla Hong jednou z mála dívek v týmu provinční Matematické olympiády a dosáhla úspěchů v různých národních soutěžích. Nicméně to, co ji odlišuje, není pouze její soutěžní úspěch, ale také zájem o čistý výzkum.
„Vždy jsem měla velký zájem o objevování matematiky,“ uvedla pro The Wall Street Journal. „Matematická olympiáda je jako neustálá injekce dopaminu, zatímco matematický výzkum je jako narážet hlavou do zdi, plné bolesti a utrpení. A mě to na tom baví.“
Tento talent ji přivedl na MIT, kde napsala devět výzkumných prací a v roce 2023 získala cenu Franka a Brennie Morganových. Poté se stala Rhodes Scholar na Oxfordu a pokračovala ve studiu na Stanfordu, než učinila zásadní rozhodnutí opustit program a založit firmu.
Myšlenka Axiom vznikla z neformální diskuse v kavárně poblíž kampusu Stanford, kde se Hong setkala se Shubho Senguptou, výzkumníkem AI z Meta, který se stal prvním členem týmu Axiom. Toto setkání se přetvořilo ve společnou vizi o vývoji AI, která nebude pouze řešit matematické problémy, ale také objevovat nov knowledge.
Název Axiom byl zvolen jako symbol, základní pravda, která slouží jako základ všech teorií. Cílem společnosti je vytvořit „matematického AI“, systém schopný řešit složité úkoly, generovat formální důkazy a autonomně ověřovat jejich pravdivost. „Nestavíme dalšího chatbota, který napodobuje řešení,“ říká Hong.
„Učíme AI, jak dokazovat teoremy. To je zcela jiná a hodnotná výzva.“ Během krátkého času Axiom přilákal významná jména, včetně Françoise Chartona a Arama Markosyana, a také renomovaného matematika Kena Ona, kterého Hong považuje za svého bývalého mentora. Ono zdůrazňuje, že důvodem jeho rozhodnutí připojit se nebyly finanční pobídky.
„Nedělám to kvůli penězům,“ říká, když zmiňuje svůj zájem o intelektuální výzvy, které Axiom nabízí.
Ono má za úkol navrhovat extrémní matematické problémy a měřítka pro testování schopností AI Axiom. „Představte si to jako mapu pro námořníka,“ říká. „Než se vydáte hledat novou zemi, musíte vědět, kde se nacházíte a co všechno už bylo prozkoumáno.“
Hong zdůrazňuje, že aplikace Axiom přesahují akademickou sféru a zasahují do oblastí, které vyžadují ověřitelné myšlení, jako je ověřování hardwaru a softwaru, kryptografie nebo kvantitativní finance.
„Jedna z věcí, které jsem slyšela od nejlepších výzkumníků a matematiků, které jsem najala, je, že rozluštění superinteligence v matematice bude jejich dědictvím,“ říká Hong. „Když je problém dostatečně obtížný, koncentrace talentu roste a to vás dělá magnetem pro další skvělé myslitele.“
