Společnosti Harmonic se v roce 2025 podařilo něco vzácného: sérii C v hodnotě 120 milionů dolarů s oceněním 1.45 miliardy dolarů bez jediného dolaru tržeb.
Společnost, kterou v roce 2023 spoluzaložili generální ředitel Robinhoodu Vlad Tenev a Tudor Achim, AI Laboratoř se usiluje o něco ambiciózního – matematickou superinteligenci, která eliminuje halucinace pomocí formální logiky.
Génius stojící za bezchybnou umělou inteligencí
Většina AI modely hádají odpovědi na základě vzorců. Harmonické's Aristotelov stroj je matematicky dokazuje.
Každý výpočet je ověřen pomocí programovacího jazyka Lean4, čímž se uvažování promění v kontrolovatelný kód. Žádné dohady. Žádné halucinace. Pouze prokazatelná logika.
Na tom záleží, protože AI chyby v leteckém průmyslu, financích nebo blockchain může stát životy a miliardy.
Harmonické rozdělení financování
| Kolo | Množství | Hlavní investor | Ocenění | Datum |
|---|---|---|---|---|
| Série C | $ 120M | Ribbit Capital | $ 1.45B | listopadu 2025 |
| Série B | $ 100M | Kleiner Perkins | ~900 milionů $ | července 2025 |
| Série A | $ 75M | Sequoia Capital | Nezveřejněno | září 2024 |
| Celkem zvýšeno | $ 295M | - | - | - |
Proč se investory rizikového kapitálu předhánějí v financování společnosti Harmonic?
Společnost Ribbit Capital vedla kolo financování, ke které se jako nový sponzor připojily společnosti Sequoia, Kleiner Perkins a Emerson Collective.
Dynamika je ohromující – tři kola financování za pouhých 14 měsíců. Aristoteles's Výkon na Mezinárodní matematické olympiádě v červenci 2025, kde soupeřil přímo s Googlem a OpenAI, upevnil důvěru investorů.
Harmonic v současné době nabízí Aristotela prostřednictvím bezplatného API. Matematici a výzkumníci už ho používají k ověřování složitých důkazů.
Spojte se s harmonickým
| Plošina | Odkaz |
|---|---|
| Webová stránka | harmonická zábava |
| /společnost/harmonicmath | |
| X | @HarmonicMath |
Čím se tato sázka liší?
Jednorožci, kteří ještě nezačali generovat zisky, se obvykle setkávají se skepsí. Ale Harmonický's formální ověřovací přístup řeší problém v hodnotě miliard dolarů: vytváření AI důvěryhodný pro kritické systémy.
Nový kapitál bude financovat masivní výpočetní zdroje potřebné k trénování modelů matematického uvažování. Jak vyjádřil generální ředitel Tudor Achim, odstranění halucinací spočívá v generování uvažování jako kódu, nikoli přirozený jazyk.
Pro odvětví citlivá na bezpečnost, která's nejen inovativní – to's nezbytný.
Zdroje
BONUS: Získejte našich 200 dolarůAI „Sada nástrojů pro mistrovství“ ZDARMA při registraci!
