Spoločnosť Harmonic práve v roku 2025 dokázala niečo vzácne: sériu C v hodnote 120 miliónov dolárov s ocenením 1.45 miliardy dolárov bez jediného dolára príjmov.
Túto spoločnosť v roku 2023 spoluzaložili generálny riaditeľ Robinhoodu Vlad Tenev a Tudor Achim. AI Laboratórium sa venuje niečomu ambicióznemu – matematickej superinteligencii, ktorá eliminuje halucinácie prostredníctvom formálnej logiky.
Génius za bezchybnou umelou inteligenciou
most AI modely hádajú odpovede na základe vzorov. Harmonické's Aristotelov stroj ich matematicky dokazuje.
Každý výpočet sa overuje pomocou programovacieho jazyka Lean4, čím sa uvažovanie premení na overiteľný kód. Žiadne dohady. Žiadne halucinácie. Len preukázateľná logika.
Na tom záleží, pretože AI chyby v leteckom priemysle, financiách alebo blockchain môže stáť životy a miliardy.
Harmonické rozdelenie financovania
| Kolo | čiastka | Vedúci investor | Ocenenie | dátum |
|---|---|---|---|---|
| Séria C | $ 120 | Ribbit Capital | $ 1.45B | novembra 2025 |
| Séria B | $ 100 | Menšie Perkins | ~ 900 miliónov dolárov | júla 2025 |
| Séria A | $ 75 | Redwood Capital | undisclosed | septembra 2024 |
| Celkom zvýšené | $ 295 | - | - | - |
Prečo sa investori rizikového kapitálu predbiehajú vo financovaní spoločnosti Harmonic?
Kolo financovania viedla spoločnosť Ribbit Capital, ku ktorej sa ako noví podporovatelia pridali spoločnosti Sequoia, Kleiner Perkins a Emerson Collective.
Dynamika je ohromujúca – tri kolá financovania za púhych 14 mesiacov. Aristoteles's Výsledok na Medzinárodnej matematickej olympiáde v júli 2025, kde priamo súťažil s Google a OpenAI, spečatil dôveru investorov.
Harmonic v súčasnosti ponúka Aristoteles prostredníctvom bezplatného API. Matematici a výskumníci ho už používajú na overovanie zložitých dôkazov.
Spojte sa s Harmonickým
| Plošina | odkaz |
|---|---|
| Webová stránka | harmonická.fun |
| /spoločnosť/harmonicmath | |
| @HarmonicMath |
Čím sa táto stávka odlišuje?
Jednorožce pred dosiahnutím príjmov zvyčajne čelia skepticizmu. Ale Harmonic's formálny overovací prístup rieši problém v hodnote miliárd dolárov: vytváranie AI dôveryhodný pre kritické systémy.
Nový kapitál bude financovať obrovské výpočtové zdroje potrebné na trénovanie modelov matematického uvažovania. Ako vyjadril generálny riaditeľ Tudor Achim, odstránenie halucinácií spočíva v generovaní uvažovania ako kódu, nie prirodzený jazyk.
Pre odvetvia citlivé na bezpečnosť, ktoré's nielen inovatívne – je to's nevyhnutné.
Zdroje
BONUS: Získajte našich 200 dolárovAI „Súprava nástrojov pre majstrovstvo“ ZADARMO pri registrácii!
