Startup Harmonic s umělou inteligencí zaměřený na matematiku, generálního ředitele společnosti Robinhood, v posledním fundraisingu dosáhl hodnoty 1,45 miliardy dolarů

Harmonic, startup s umělou inteligencí, který spoluzaložil generální ředitel Robinhood Vlad Tenev, získal nové financování ve výši 120 milionů dolarů, čímž společnost ocenila na 1,45 miliardy dolarů, protože řeší „halucinace“ AI – nebo nesprávné či nesmyslné odpovědi – zlepšením schopnosti uvažovat.

Kolo Series C pro startup s předběžnými příjmy vedl Ribbit Capital za účasti stávajících investorů Sequoia a Kleiner Perkins. Investiční společnost Laurene Powell Jobs Emerson Collective se připojila jako nový podporovatel.

Dohoda představuje třetí hlavní fundraising společnosti za posledních 14 měsíců, čímž se její celkový kapitál zvýšil na 295 milionů dolarů, což podtrhuje velký zájem investorů o startupy, které se snaží udělat AI přesnější a spolehlivější, ještě předtím, než budou mít komerční produkty.

Harmonic vyvíjí to, co nazývá „Mathematical Superintelligence“ (MSI), formu umělé inteligence zaměřenou na pokročilé uvažování, o které tvrdí, že neobsahuje halucinace a další faktické chyby, které sužují mnoho generativních modelů umělé inteligence.

Říká se, že jeho vlajkový model, Aristoteles, vyškolený na syntetických matematických důkazech – počítačově generovaných příkladech používaných k výuce řešení problémů – dosáhl špičkového výkonu na Mezinárodní matematické olympiádě v červenci spolu se společnostmi Google a OpenAI, což je vítězství, které podle generálního ředitele Tudora Achima pomohlo přitáhnout zájem investorů.

Společnost Harmonic, která byla založena v roce 2023, říká, že toho může dosáhnout pomocí formálního uvažování, které vyžaduje, aby jeho AI vydávala své úvahy jako počítačový kód v programovacím jazyce Lean4, jehož správnost lze zkontrolovat. Převážná část nového financování půjde podle Achima na obrovský výpočetní výkon potřebný pro trénování jeho modelů.

Zaměřením se na ověřitelnou logiku bez chyb, Harmonic říká, že si klade za cíl vybudovat důvěru pro AI v odvětvích kritických pro bezpečnost, jako je letectví a finance, kde mohou mít chyby vážné důsledky.

„Odstranění halucinací vychází přímo ze skutečnosti, že požadujeme, aby náš systém vydával uvažování jako kód namísto uvažování v angličtině,“ řekl generální ředitel Tudor Achim v rozhovoru.

Harmonic v současnosti nabízí svůj Aristotelův model veřejnosti prostřednictvím bezplatného API, což je nástroj, který umožňuje vývojářům zapojit model do vlastního softwaru. Společnost uvedla, že matematici a výzkumníci tento nástroj používají ke kontrole složitých důkazů a urychlení nových objevů. Achim řekl, že v budoucnu prozkoumá komercializaci.

„Myslím si, že existují určité oblasti vývoje softwaru, kde jsou bezpečnost a spolehlivost prvořadé,“ řekl a dodal, že existuje také poptávka ze sektorů kritických pro bezpečnost, jako je automobilový a letecký průmysl.